|
|
   Torso
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Torso EnglishLanguage "The body of a Primate excluding its Limbs.") | Mid-level-ontology.kif 14139-14139 | |
| (externalImage Torso "http://upload.wikimedia.org/wikipedia/commons/a/a9/ Chest.agr.jpg") | pictureList.kif 64-64 | |
| (subclass Torso AnimalAnatomicalStructure) | Mid-level-ontology.kif 14137-14137 | |
| (subclass Torso BodyPart) | Mid-level-ontology.kif 14138-14138 |
| appearance as argument number 2 |
|
|
| (initialPart LatissimusDorsi Torso) | Mid-level-ontology.kif 12106-12106 | |
| (initialPart ThoraxBone Torso) | Anatomy.kif 264-264 | |
| (partTypes Abdomen Torso) | Mid-level-ontology.kif 14151-14151 | |
| (termFormat ChineseLanguage Torso "躯干") | domainEnglishFormat.kif 58510-58510 | |
| (termFormat ChineseTraditionalLanguage Torso "軀幹") | domainEnglishFormat.kif 58509-58509 | |
| (termFormat EnglishLanguage Torso "torso") | domainEnglishFormat.kif 58508-58508 | |
| (typicalPart LatissimusDorsi Torso) | Mid-level-ontology.kif 12105-12105 |
| antecedent |
|
|
| (=> (and (instance ?TORSO Torso) (instance ?LIMB Limb)) (not (overlapsSpatially ?TORSO ?LIMB))) |
Mid-level-ontology.kif 14141-14146 |
| 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 12550-12560 | |
| (=> (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 ?A Abducting) (exists (?BP ?ORGANISM ?TORSO ?MAF) (and (instance ?BP BodyPart) (instance ?ORGANISM Organism) (instance ?TORSO Torso) (not (equal ?BP ?TORSO)) (subProcess ?MAF MovingAwayFrom) (patient ?MAF ?BP) (patient ?MAF ?TORSO) (part ?BP ?ORGANISM) (part ?TORSO ?ORGANISM) (experiencer ?A Organism) (moves ?A ?BP)))) |
Anatomy.kif 2049-2064 | |
| (=> (instance ?A Adducting) (exists (?BP ?ORGANISM ?TORSO ?MT) (and (instance ?BP BodyPart) (instance ?ORGANISM Organism) (instance ?TORSO Torso) (not (equal ?BP ?TORSO)) (instance ?MT MovingTowards) (subProcess ?MT ?A) (patient ?MT ?BP) (patient ?MT ?TORSO) (part ?BP ?ORGANISM) (part ?TORSO ?ORGANISM) (experiencer ?A Organism) (moves ?A ?BP)))) |
Anatomy.kif 2073-2089 | |
| (=> (instance ?B Breast) (exists (?T) (and (instance ?T Torso) (part ?B (FrontFn ?T))))) |
Mid-level-ontology.kif 14164-14170 | |
| (=> (instance ?B HumanBack) (exists (?P ?T) (and (instance ?P Human) (instance ?T Torso) (part ?T ?P) (equal ?B (BackFn ?T))))) |
Medicine.kif 5670-5677 |
| statement |
|
|
| (subclass Shirt (CoveringFn Torso)) |
Mid-level-ontology.kif 6197-6197 |
|
|
|
