Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Torso
Torso(torso)
body, torso, trunk

appearance as argument number 1
-------------------------


(documentation Torso EnglishLanguage "The body of a Primate excluding its Limbs.") Mid-level-ontology.kif 12655-12655
(externalImage Torso "http://upload.wikimedia.org/wikipedia/commons/a/a9/ Chest.agr.jpg") pictureList.kif 64-64
(subclass Torso AnimalAnatomicalStructure) Mid-level-ontology.kif 12653-12653 Torso is a subclass of animal anatomical structure
(subclass Torso BodyPart) Mid-level-ontology.kif 12654-12654 Torso is a subclass of body part

appearance as argument number 2
-------------------------


(initialPart LatissimusDorsi Torso) Mid-level-ontology.kif 10642-10642 Every upper back muscle is initially part of a torso
(partTypes Abdomen Torso) Mid-level-ontology.kif 12667-12667 Every abdomen is a part of a torso
(termFormat ChineseLanguage Torso "躯干") domainEnglishFormat.kif 58476-58476
(termFormat ChineseTraditionalLanguage Torso "軀幹") domainEnglishFormat.kif 58475-58475
(termFormat EnglishLanguage Torso "torso") domainEnglishFormat.kif 58474-58474
(typicalPart LatissimusDorsi Torso) Mid-level-ontology.kif 10641-10641 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 12657-12662

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 11084-11094
(=>
    (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 12680-12686