Quadrilateral - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Quadrilateral

Quadrilateral(quadrilateral)

parallelogram, quadrangle, quadrilateral, tetragon, trapezium, trapezoid

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4907-4907
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1222-1222
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4906-4906	Quadrilateral is a subclass of polygon

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4916-4916	Rectangle is an instance of quadrilateral
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48317-48317	Rectangle is an instance of quadrilateral
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48316-48316	Rectangle is an instance of quadrilateral
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48315-48315	Rectangle is an instance of quadrilateral

antecedent

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.	Mid-level-ontology.kif 4909-4914	If an entity is an instance of quadrilateral, then the number of instances in the class described by a symbolic string is equal to 4

consequent

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

Mid-level-ontology.kif 4064-4069

If an object is an instance of four_poster bed,
then there exists an attribute such that the attribute is an attribute of the object and the attribute is an instance of quadrilateral

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