Torso
|
|
appearance as argument number 1 |
(documentation Torso EnglishLanguage "The body of a Primate excluding its Limbs.") | Mid-level-ontology.kif 12835-12835 | |
(externalImage Torso "http://upload.wikimedia.org/wikipedia/commons/a/a9/ Chest.agr.jpg") | pictureList.kif 64-64 | |
(subclass Torso AnimalAnatomicalStructure) | Mid-level-ontology.kif 12833-12833 | Torso è una sottoclasse di AnimalAnatomicalStructure |
(subclass Torso BodyPart) | Mid-level-ontology.kif 12834-12834 | Torso è una sottoclasse di ParteDelCorpo |
appearance as argument number 2 |
(initialPart LatissimusDorsi Torso) | Mid-level-ontology.kif 10802-10802 | initialPart LatissimusDorsi and Torso |
(initialPart ThoraxBone Torso) | Anatomy.kif 249-249 | initialPart ThoraxBone and Torso |
(partTypes Abdomen Torso) | Mid-level-ontology.kif 12847-12847 | partTypes Abdomen and Torso |
(termFormat ChineseLanguage Torso "躯干") | domainEnglishFormat.kif 58504-58504 | |
(termFormat ChineseTraditionalLanguage Torso "軀幹") | domainEnglishFormat.kif 58503-58503 | |
(termFormat EnglishLanguage Torso "torso") | domainEnglishFormat.kif 58502-58502 | |
(typicalPart LatissimusDorsi Torso) | Mid-level-ontology.kif 10801-10801 | typicalPart LatissimusDorsi and Torso |
antecedent |
(=> (and (instance ?TORSO Torso) (instance ?LIMB Limb)) (not (overlapsSpatially ?TORSO ?LIMB))) |
Mid-level-ontology.kif 12837-12842 |
consequent |
statement |
(subclass Shirt (CoveringFn Torso)) |
Mid-level-ontology.kif 5254-5254 | Shirt è una sottoclasse di CoveringFn Torso |