sideOfFigure - Sigma 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	O argumento numero 1 de sideOfFigure e' uma instancia de OneDimensionalFigure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4980-4980	O argumento numero 2 de sideOfFigure e' uma instancia de GeometricFigure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4978-4978	sideOfFigure e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4977-4977	sideOfFigure e' uma sub-relacao de geometricPart

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	GeometricFigure e' um atributo de Objeto Objeto e' uma instancia de FourPosterBed GeometricFigure e' uma instancia de Quadrilateral o lado de GeometricFigure e' OneDimensionalFigure o lado de GeometricFigure e' OneDimensionalFigure OneDimensionalFigure e' igual a OneDimensionalFigure Objeto Objeto, GeometricPoint and Objeto Objeto e' uma &parte de Objeto Objeto e' uma instancia de Floor Objeto e' On em relacao a Objeto Objeto e' Vertical em relacao a Objeto pointOfIntersection OneDimensionalFigure, OneDimensionalFigure and GeometricPoint GeometricPoint e' um atributo de Objeto Objeto encontra Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4930-4932	O lado de Square e' OneDimensionalFigure lineMeasure OneDimensionalFigure and Medida de Comprimento

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4883-4888	GeometricFigure e' uma instancia de Polygon OneDimensionalFigure o lado de GeometricFigure e' OneDimensionalFigure geometricPart OneDimensionalFigure and GeometricFigure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4914-4919	Entidade e' uma instancia de Quadrilateral o numero de instancias dentro de a classe descrita por Sequencia Simbolica e' igual a 4

statement

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

Mid-level-ontology.kif 4893-4896

O numero de instancias dentro de a classe descrita por Sequencia Simbolica e' igual a 3