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 13704-13704
(externalImage Torso "http://upload.wikimedia.org/wikipedia/commons/a/a9/ Chest.agr.jpg") pictureList.kif 64-64
(subclass Torso AnimalAnatomicalStructure) Mid-level-ontology.kif 13702-13702 Torso is a subclass of animal anatomical structure
(subclass Torso BodyPart) Mid-level-ontology.kif 13703-13703 Torso is a subclass of body part

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


(initialPart LatissimusDorsi Torso) Mid-level-ontology.kif 11671-11671 Every upper back muscle is initially part of a torso
(initialPart ThoraxBone Torso) Anatomy.kif 248-248 Every thorax bone is initially part of a torso
(partTypes Abdomen Torso) Mid-level-ontology.kif 13716-13716 Every abdomen is a part of a torso
(termFormat ChineseLanguage Torso "躯干") domainEnglishFormat.kif 58539-58539 Every abdomen is a part of a torso
(termFormat ChineseTraditionalLanguage Torso "軀幹") domainEnglishFormat.kif 58538-58538 Every abdomen is a part of a torso
(termFormat EnglishLanguage Torso "torso") domainEnglishFormat.kif 58537-58537 Every abdomen is a part of a torso
(typicalPart LatissimusDorsi Torso) Mid-level-ontology.kif 11670-11670 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 13706-13711

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 12115-12125
(=>
    (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 13729-13735
(=>
    (instance ?B HumanBack)
    (exists (?P ?T)
        (and
            (instance ?P Human)
            (instance ?T Torso)
            (part ?T ?P)
            (equal ?B
                (BackFn ?T)))))
Medicine.kif 5647-5654