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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Torso

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

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


(initialPart LatissimusDorsi Torso) Mid-level-ontology.kif 10279-10279 Every upper back muscle is initially part of a torso
(partTypes Abdomen Torso) Mid-level-ontology.kif 12281-12281 Every abdomen is a part of a torso
(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 10278-10278 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 12271-12276

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 10721-10731
(=>
    (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 12294-12300