TreeView Knowledge Base Browser - diameter

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - diameter

diameter

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2653-2654
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7698-7699
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1370-1371
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7695-7695	The number 1 argument of diameter is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7696-7696	The number 2 argument of diameter is an instance of length measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7692-7692	diameter is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7693-7693	diameter is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7694-7694	diameter is an instance of total valued relation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 617-617
No TPTP formula. May not be expressible in strict first order.	english_format.kif 620-620
No TPTP formula. May not be expressible in strict first order.	french_format.kif 373-373
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 73-73
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2107-2107
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 325-325
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 809-809
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 114-114
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 395-395
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 414-414
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 107-107
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 618-618
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19428-19428
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19427-19427
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19426-19426
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 163-163

antecedent

No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1576-1583	If an object is an instance of auditory canal and the object is a part of another object and healthy is an attribute of the other object and the diameter of the object is a real number millimeter(s), then the approximate value of the real number is 0.7
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1526-1533	If an object is an instance of Eustachian tube and the object is a part of another object and healthy is an attribute of the other object and the diameter of the object is a real number millimeter(s), then the approximate value of the real number is 3.0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7701-7706	If the diameter of an object is a length measure, then there exist a real number and an unit of measure such that the radius of the object is the real number the unit of measure(s) and the real number and 2 the unit of measure(s) is equal to the length measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7708-7710	If the diameter of an object is a length measure, then the object is circle

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1541-1549	If the bore of a hole is a length measure and the hole is an instance of hole and the hole is cylinder and an object is a part of the hole and the object is an instance of region and the object is circle, then the diameter of the object is the length measure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31189-31194	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 the diameter of the object is the length measure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31196-31201	If members of a class have the measure a length measure in terms of Diameter and the class is an instance of class and an object is an instance of the class, then the diameter of the object is the length measure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31167-31175	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
No TPTP formula. May not be expressible in strict first order.	Sports.kif 964-973	If a self connected object is an instance of golf hole, then there exists another self connected object such that the self connected object is cylinder and the top of the self connected object is the other self connected object and the other self connected object is an instance of region and the other self connected object is circle and the diameter of the other self connected object is 4.25 inch(s)

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