diameter - Sigma Knowledge base Browser

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 7666-7667
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 7663-7663	The number 1 argument of diameter is an instance of circle
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7664-7664	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 7660-7660	diameter is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7661-7661	diameter is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7662-7662	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 a circle is an instance of auditory canal and the circle is a part of an object and healthy is an attribute of the object and the diameter of the circle 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 a circle is an instance of Eustachian tube and the circle is a part of an object and healthy is an attribute of the object and the diameter of the circle 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 7669-7674	If the diameter of a circle is a length measure, then there exist a real number and an unit of measure such that the radius of the circle 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

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1538-1544	If the bore of a cylinder is a length measure and the cylinder is an instance of cylinder and a circle is an instance of circle and the circle is a part of the cylinder, then the diameter of the circle is the length measure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31157-31162	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 a circle is an element of the set, then the diameter of the circle is the length measure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31164-31169	If members of a class have the measure a length measure in terms of Diameter and the class is an instance of class and a circle is an instance of the class, then the diameter of the circle is the length measure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31138-31146	If circumfrence a circle and a length measure, then there exist a real number and an unit of measure such that the diameter of the circle 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-972	If a self connected object is an instance of golf hole, then there exist an attribute and another self connected object such that the attribute is an instance of cylinder and the attribute is an attribute of the self connected object and the top of the self connected object is the other self connected object and the other self connected object is an instance of circle and the diameter of the other self connected object is 4.25 inch(s)

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

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