| Torso
| |
| appearance as argument number 1 |
|
|
| (documentation Torso EnglishLanguage "The body of a Primate excluding its Limbs.") | Mid-level-ontology.kif 12807-12807 | |
| (externalImage Torso "http://upload.wikimedia.org/wikipedia/commons/a/a9/ Chest.agr.jpg") | pictureList.kif 64-64 | |
| (subclass Torso AnimalAnatomicalStructure) | Mid-level-ontology.kif 12805-12805 | Torso ist eine teilkategorie von AnimalAnatomicalStructure |
| (subclass Torso BodyPart) | Mid-level-ontology.kif 12806-12806 | Torso ist eine teilkategorie von BodyPart |
| appearance as argument number 2 |
|
|
| (initialPart LatissimusDorsi Torso) | Mid-level-ontology.kif 10774-10774 | initialPart LatissimusDorsi and Torso |
| (initialPart ThoraxBone Torso) | Anatomy.kif 249-249 | initialPart ThoraxBone and Torso |
| (partTypes Abdomen Torso) | Mid-level-ontology.kif 12819-12819 | partTypes Abdomen and Torso |
| (termFormat ChineseLanguage Torso "躯干") | domainEnglishFormat.kif 58502-58502 | |
| (termFormat ChineseTraditionalLanguage Torso "軀幹") | domainEnglishFormat.kif 58501-58501 | |
| (termFormat EnglishLanguage Torso "torso") | domainEnglishFormat.kif 58500-58500 | |
| (typicalPart LatissimusDorsi Torso) | Mid-level-ontology.kif 10773-10773 | typicalPart LatissimusDorsi and Torso |
| antecedent |
|
|
| (=> (and (instance ?TORSO Torso) (instance ?LIMB Limb)) (not (overlapsSpatially ?TORSO ?LIMB))) |
Mid-level-ontology.kif 12809-12814 |
| consequent |
|
|
| (=> (and (instance ?C Chest) (instance ?A Animal) (instance ?C ?A) (part ?C ?A)) (exists (?T) (and (instance ?T Torso) (part ?C ?T) (part ?T ?A)))) |
Mid-level-ontology.kif 11218-11228 |
|
| (=> (and (instance ?ELT ExperiencingHeatInCheeksOrChest) (experiencer ?ELT ?A)) (exists (?P ?T) (and (instance ?P Perception) (subProcess ?P ?ELT) (agent ?P ?A) (patient ?P ?T) (or (instance ?T Torso) (instance ?T Face)) (part ?T ?A)))) |
emotion.kif 1738-1751 |
|
| (=> (instance ?B Breast) (exists (?T) (and (instance ?T Torso) (part ?B (FrontFn ?T))))) |
Mid-level-ontology.kif 12832-12838 |
|
| (=> (instance ?B HumanBack) (exists (?P ?T) (and (instance ?P Human) (instance ?T Torso) (part ?T ?P) (equal ?B (BackFn ?T))))) |
Medicine.kif 5659-5666 |
|
| statement |
|
|
| (subclass Shirt (CoveringFn Torso)) |
Mid-level-ontology.kif 5259-5259 | Shirt ist eine teilkategorie von CoveringFn Torso |
|
|
|