Interfaces
ExtendedOntology NormalizedIntegerAxiom NormalizedIntegerAxiomConstant NormalizedIntegerAxiomFactory NormalizedIntegerAxiomVisitor |
Classes
ExtendedOntologyImpl FunctObjectPropAxiom GCI0Axiom GCI1Axiom GCI2Axiom GCI3Axiom NominalAxiom NormalizedIntegerAxiomFactoryImpl RangeAxiom RI1Axiom RI2Axiom RI3Axiom |