TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31128-31130
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31132-31132	Le nombre 1 argument de circumfrence est une instance de Circle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31134-31134	Le nombre 2 argument de circumfrence est une instance de mesure de longueur
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31126-31126	circumfrence est une instance de pr�dicat binaire

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 31136-31136

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 31138-31146

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31112-31117	memberMeasure ensemble, MeasurementAttribute and mesure de longueur ensemble est une instance de ensemble Circle est un ensemble circumfrence Circle and mesure de longueur
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31119-31124	memberMeasure classe, Circumfrence and mesure de longueur classe est une instance de classe Circle est une instance de classe circumfrence Circle and mesure de longueur