| Torso
| |
| appearance as argument number 1 |
|
|
| (documentation Torso EnglishLanguage "The body of a Primate excluding its Limbs.") | Mid-level-ontology.kif 12656-12656 | |
| (externalImage Torso "http://upload.wikimedia.org/wikipedia/commons/a/a9/ Chest.agr.jpg") | pictureList.kif 64-64 | |
| (subclass Torso AnimalAnatomicalStructure) | Mid-level-ontology.kif 12654-12654 | |
| (subclass Torso BodyPart) | Mid-level-ontology.kif 12655-12655 |
| appearance as argument number 2 |
|
|
| (initialPart LatissimusDorsi Torso) | Mid-level-ontology.kif 10643-10643 | |
| (partTypes Abdomen Torso) | Mid-level-ontology.kif 12668-12668 | |
| (termFormat ChineseLanguage Torso "躯干") | domainEnglishFormat.kif 58472-58472 | |
| (termFormat ChineseTraditionalLanguage Torso "軀幹") | domainEnglishFormat.kif 58471-58471 | |
| (termFormat EnglishLanguage Torso "torso") | domainEnglishFormat.kif 58470-58470 | |
| (typicalPart LatissimusDorsi Torso) | Mid-level-ontology.kif 10642-10642 |
| antecedent |
|
|
| (=> (and (instance ?TORSO Torso) (instance ?LIMB Limb)) (not (overlapsSpatially ?TORSO ?LIMB))) |
Mid-level-ontology.kif 12658-12663 |
| 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 11085-11095 | |
| (=> (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 12681-12687 |
| statement |
|
|
| (subclass Shirt (CoveringFn Torso)) |
Mid-level-ontology.kif 5220-5220 |
|
|
|