Torso |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12835-12835 | |
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 12833-12833 | Torso e' uma sub-classe de AnimalAnatomicalStructure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12834-12834 | 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 10802-10802 | 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 12847-12847 | partTypes Abdomen and Torso |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58504-58504 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58503-58503 | |
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. | Mid-level-ontology.kif 10801-10801 | typicalPart LatissimusDorsi and Torso |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12837-12842 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11246-11256 | |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1738-1751 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12860-12866 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5659-5666 |
|
statement |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5254-5254 | Shirt e' uma sub-classe de CoveringFn Torso |