| Torso(躯干)
| |
| appearance as argument number 1 |
|
|
| (documentation Torso EnglishLanguage "The body of a Primate excluding its Limbs.") | Mid-level-ontology.kif 12808-12808 | |
| (externalImage Torso "http://upload.wikimedia.org/wikipedia/commons/a/a9/ Chest.agr.jpg") | pictureList.kif 64-64 | |
| (subclass Torso AnimalAnatomicalStructure) | Mid-level-ontology.kif 12806-12806 | 躯干 是 动物解剖结构 的 subclass |
| (subclass Torso BodyPart) | Mid-level-ontology.kif 12807-12807 | 躯干 是 身体部位 的 subclass |
| appearance as argument number 2 |
|
|
| (initialPart LatissimusDorsi Torso) | Mid-level-ontology.kif 10775-10775 | %每个 LatissimusDorsi 是 躯干 的 initially part |
| (initialPart ThoraxBone Torso) | Anatomy.kif 249-249 | %每个 ThoraxBone 是 躯干 的 initially part |
| (partTypes Abdomen Torso) | Mid-level-ontology.kif 12820-12820 | 每个 Abdomen 是 躯干 的 part |
| (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 10774-10774 | LatissimusDorsi typically 是 躯干 的 part |
| antecedent |
|
|
| (=> (and (instance ?TORSO Torso) (instance ?LIMB Limb)) (not (overlapsSpatially ?TORSO ?LIMB))) |
Mid-level-ontology.kif 12810-12815 |
| 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 11219-11229 | |
| (=> (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 12833-12839 | |
| (=> (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 5260-5260 | 衬衫 是 对于 躯干 的 covering 的 subclass |
|
|
|