TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12807-12807
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 64-64
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12805-12805	Torso e' uma sub-classe de AnimalAnatomicalStructure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12806-12806	Torso e' uma sub-classe de Parte do Corpo

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10774-10774	initialPart LatissimusDorsi and Torso
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 249-249	initialPart ThoraxBone and Torso
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12819-12819	partTypes Abdomen and Torso
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58502-58502
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58501-58501
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58500-58500
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10773-10773	typicalPart LatissimusDorsi and Torso

antecedent

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

Mid-level-ontology.kif 12809-12814

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11218-11228	Objeto e' uma instancia de Chest Classe e' uma instancia de Animal Objeto e' uma instancia de Classe Objeto e' uma &parte de Classe Objeto Objeto e' uma instancia de Torso Objeto e' uma &parte de Objeto Objeto e' uma &parte de Classe
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1738-1751	Processo e' uma instancia de ExperiencingHeatInCheeksOrChest AutonomousAgent experimenta Processo Processo Objeto Processo e' uma instancia de Percepcao Processo e' um sub-processo de Processo Processo e' um agente de AutonomousAgent Objeto e' um patient de Processo Objeto e' uma instancia de Torso Objeto e' uma instancia de Face Objeto e' uma &parte de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12832-12838	Objeto e' uma instancia de Breast Objeto auto-conectado Objeto auto-conectado e' uma instancia de Torso Objeto e' uma &parte de afrente de Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5659-5666	Objeto auto-conectado e' uma instancia de HumanBack Objeto Objeto auto-conectado Objeto e' uma instancia de Humano Objeto auto-conectado e' uma instancia de Torso Objeto auto-conectado e' uma &parte de Objeto Objeto auto-conectado e' igual a atras de Objeto auto-conectado

statement

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

Mid-level-ontology.kif 5259-5259