TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4981-4982
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4979-4979	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 4980-4980	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 4978-4978	side of figure is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4977-4977	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4930-4932	If the size of square is an one dimensional figure, then a length measure is a line measure of the one dimensional figure

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4883-4888	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 4914-4919	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

statement

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

Mid-level-ontology.kif 4893-4896

The number of instances in the class described by a symbolic string is equal to 3