| Torso
| |
| appearance as argument number 1 |
|
|
| (documentation Torso EnglishLanguage "The body of a Primate excluding its Limbs.") | Mid-level-ontology.kif 13026-13026 | |
| (externalImage Torso "http://upload.wikimedia.org/wikipedia/commons/a/a9/ Chest.agr.jpg") | pictureList.kif 64-64 | |
| (subclass Torso AnimalAnatomicalStructure) | Mid-level-ontology.kif 13024-13024 | |
| (subclass Torso BodyPart) | Mid-level-ontology.kif 13025-13025 |
| appearance as argument number 2 |
|
|
| (initialPart LatissimusDorsi Torso) | Mid-level-ontology.kif 10993-10993 | |
| (initialPart ThoraxBone Torso) | Anatomy.kif 249-249 | |
| (partTypes Abdomen Torso) | Mid-level-ontology.kif 13038-13038 | |
| (termFormat ChineseLanguage Torso "躯干") | domainEnglishFormat.kif 58541-58541 | |
| (termFormat ChineseTraditionalLanguage Torso "軀幹") | domainEnglishFormat.kif 58540-58540 | |
| (termFormat EnglishLanguage Torso "torso") | domainEnglishFormat.kif 58539-58539 | |
| (typicalPart LatissimusDorsi Torso) | Mid-level-ontology.kif 10992-10992 |
| antecedent |
|
|
| (=> (and (instance ?TORSO Torso) (instance ?LIMB Limb)) (not (overlapsSpatially ?TORSO ?LIMB))) |
Mid-level-ontology.kif 13028-13033 |
| 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 11437-11447 | |
| (=> (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 13051-13057 | |
| (=> (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 5254-5254 |
|
|
|