sideOfFigure - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - sideOfFigure

sideOfFigure

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4982-4983
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4980-4980	The number 1 argument of side of figure is an instance of one dimensional figure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4981-4981	The number 2 argument of side of figure is an instance of geometric figure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4979-4979	side of figure is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4978-4978	side of figure is a subrelation of geometric part

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 788-788
No TPTP formula. May not be expressible in strict first order.	english_format.kif 790-790
No TPTP formula. May not be expressible in strict first order.	french_format.kif 475-475
No TPTP formula. May not be expressible in strict first order.	english_format.kif 791-791
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 427-427
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 497-497
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 789-789
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52946-52946
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52945-52945
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52944-52944

antecedent

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

Mid-level-ontology.kif 4078-4095

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

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4886-4891	If a geometric figure is an instance of polygon, then there exists an one dimensional figure such that the size of the geometric figure is the one dimensional figure and the geometric figure is a geometric part of the one dimensional figure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4916-4921	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4937-4943	If a geometric figure is an instance of square, then there exists a length measure such that for all an one dimensional figure if the size of the geometric figure is the one dimensional figure, then the length measure is a line measure of the one dimensional figure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4896-4901	If an entity is an instance of triangle, then the number of instances in the class described by a symbolic string is equal to 3

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