TreeView Knowledge Base Browser - DiameterFn

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - DiameterFn

DiameterFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4929-4930
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4933-4933	The number 1 argument of diameter is an instance of object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4932-4932	Diameter is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4931-4931	Diameter is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4934-4934	The range of diameter is an instance of length measure

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 736-736
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 735-735
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 734-734
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19434-19434
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19433-19433
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19432-19432

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4936-4941	If the diameter of an object is equal to a real number an unit of measure(s), then there exists another real number such that the radius of the object is equal to the other real number the unit of measure(s) and the other real number and 2.0 is equal to the real number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4943-4946	If a length measure is equal to the diameter of an object, then the object is circle

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