![]() |
![]() ![]() ![]()
|
![]() |
|
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 | Torso is a subclass of animal anatomical structure |
(subclass Torso BodyPart) | Mid-level-ontology.kif 14138-14138 | Torso is a subclass of body part |
appearance as argument number 2 |
![]() |
(initialPart LatissimusDorsi Torso) | Mid-level-ontology.kif 12106-12106 | Every upper back muscle is initially part of a torso |
(initialPart ThoraxBone Torso) | Anatomy.kif 264-264 | Every thorax bone is initially part of a torso |
(partTypes Abdomen Torso) | Mid-level-ontology.kif 14151-14151 | Every abdomen is a part of a torso |
(termFormat ChineseLanguage Torso "躯干") | domainEnglishFormat.kif 58510-58510 | Every abdomen is a part of a torso |
(termFormat ChineseTraditionalLanguage Torso "軀幹") | domainEnglishFormat.kif 58509-58509 | Every abdomen is a part of a torso |
(termFormat EnglishLanguage Torso "torso") | domainEnglishFormat.kif 58508-58508 | Every abdomen is a part of a torso |
(typicalPart LatissimusDorsi Torso) | Mid-level-ontology.kif 12105-12105 | A upper back muscle is typically a part of a torso |
antecedent |
![]() |
(=> (and (instance ?TORSO Torso) (instance ?LIMB Limb)) (not (overlapsSpatially ?TORSO ?LIMB))) |
Mid-level-ontology.kif 14141-14146 |
|
consequent |
![]() |
statement |
![]() |
(subclass Shirt (CoveringFn Torso)) |
Mid-level-ontology.kif 6197-6197 | Shirt is a subclass of a covering for torso |
![]() |
![]() |