TreeView Knowledge Base Browser - circumfrence

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - circumfrence

circumfrence

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31121-31123
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31125-31125	The number 1 argument of circumfrence is an instance of object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31127-31127	The number 2 argument of circumfrence is an instance of length measure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31114-31114	circumfrence is an instance of binary predicate

appearance as argument number 2

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

Mid-level-ontology.kif 31129-31129

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31141-31143	If circumfrence an object and a length measure, then the object is circle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31131-31139	If circumfrence an object and a length measure, then there exist a real number and an unit of measure such that the diameter of the object is the real number the unit of measure(s) and the real number and 3.14 the unit of measure(s) is equal to the length measure

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31100-31105	If members of a set have the measure a length measure in terms of a measurement attribute and the set is an instance of set and an object is an element of the set, then circumfrence the object and the length measure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31107-31112	If members of a class have the measure a length measure in terms of Circumfrence and the class is an instance of class and an object is an instance of the class, then circumfrence the object and the length measure

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners