RACE - Reasoning in ACE 4
Axioms
Theorems
Prove
Answer
Consistent
RACE Examples
|
FOL Axioms
|
Prolog Axioms
|
Lexicon
|
RACE Report
|
Plurals in ACE
|
Related Information
Last Modified: 26/11/2002,
Uta Schwertel