Vertical - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Vertical

Vertical(vertical)

erect, erectness, perpendicular, plumb, unsloped, upended, upright, uprightness, vertical, verticality, vertically, verticalness

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3808-3809
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17104-17105
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17103-17103	Vertical is an instance of positional attribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17112-17112	Horizontal is the opposite of vertical
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61558-61558
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61557-61557
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61556-61556
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 531-531

antecedent

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

Merge.kif 17107-17109

An object is vertical to another object if and only if the other object is vertical to the object

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17107-17109	An object is vertical to another object if and only if the other object is vertical to the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4071-4088	If a geometric figure is an attribute of an object and the object is an instance of four-poster bed and the geometric figure is an instance of quadrilateral and the size of the geometric figure is an one dimensional figure and the size of the geometric figure is another one dimensional figure and the one dimensional figure is not equal to the other one dimensional figure, then there exist another object, a third object,, , a geometric point and a fourth object such that the other object is a part of the object and the third object is an instance of floor and the object is on to the third object and the other object is vertical to the third object and the one dimensional figure is point of intersection the other one dimensional figure for the geometric point and the geometric point is an attribute of the fourth object and the fourth object meets the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1914-1920	If a length measure is an elevation of an object, then there exists another object such that the other object is a proper part of sea level and the object is vertical to the other object and the distance between the object and the other object is the length measure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3886-3900	If an object is an instance of pull-down bed, then there exists another object such that the other object is an instance of compartment and the other object meets the object and the other object has the purpose there exists an entity such that the entity is an instance of keeping and the object is a patient of the entity and the entity ends up at the other object and vertical is an attribute of the object holds during the time of existence of the entity

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