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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Torso
Torso

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


(documentation Torso EnglishLanguage "The body of a Primate excluding its Limbs.") Mid-level-ontology.kif 12243-12243
(externalImage Torso "http://upload.wikimedia.org/wikipedia/commons/a/a9/ Chest.agr.jpg") pictureList.kif 64-64
(subclass Torso AnimalAnatomicalStructure) Mid-level-ontology.kif 12241-12241
(subclass Torso BodyPart) Mid-level-ontology.kif 12242-12242

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


(initialPart LatissimusDorsi Torso) Mid-level-ontology.kif 10253-10253
(partTypes Abdomen Torso) Mid-level-ontology.kif 12255-12255
(termFormat ChineseLanguage Torso "躯干") domainEnglishFormat.kif 58469-58469
(termFormat ChineseTraditionalLanguage Torso "軀幹") domainEnglishFormat.kif 58468-58468
(termFormat EnglishLanguage Torso "torso") domainEnglishFormat.kif 58467-58467
(typicalPart LatissimusDorsi Torso) Mid-level-ontology.kif 10252-10252

antecedent
-------------------------


(=>
    (and
        (instance ?TORSO Torso)
        (instance ?LIMB Limb))
    (not
        (overlapsSpatially ?TORSO ?LIMB)))
Mid-level-ontology.kif 12245-12250

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 10695-10705
(=>
    (and
        (instance ?ELT ExperiencingHeatInCheeksOrChest)
        (experiencer ?ELT ?A))
    (exists (?P)
        (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 1746-1759
(=>
    (instance ?B Breast)
    (exists (?T)
        (and
            (instance ?T Torso)
            (part ?B
                (FrontFn ?T)))))
Mid-level-ontology.kif 12268-12274