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

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


(initialPart LatissimusDorsi Torso) Mid-level-ontology.kif 12124-12124 Every upper back muscle is initially part of a torso
(initialPart ThoraxBone Torso) Anatomy.kif 264-264 Every thorax bone is initially part of a torso
(partTypes Abdomen Torso) Mid-level-ontology.kif 14169-14169 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 12123-12123 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 14159-14164

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 12568-12578
(=>
    (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 ?A Abducting)
    (exists (?BP ?ORGANISM ?TORSO ?MAF)
        (and
            (instance ?BP BodyPart)
            (instance ?ORGANISM Organism)
            (instance ?TORSO Torso)
            (not
                (equal ?BP ?TORSO))
            (subProcess ?MAF MovingAwayFrom)
            (patient ?MAF ?BP)
            (patient ?MAF ?TORSO)
            (part ?BP ?ORGANISM)
            (part ?TORSO ?ORGANISM)
            (experiencer ?A Organism)
            (moves ?A ?BP))))		 Anatomy.kif 2049-2064
(=>
    (instance ?A Adducting)
    (exists (?BP ?ORGANISM ?TORSO ?MT)
        (and
            (instance ?BP BodyPart)
            (instance ?ORGANISM Organism)
            (instance ?TORSO Torso)
            (not
                (equal ?BP ?TORSO))
            (instance ?MT MovingTowards)
            (subProcess ?MT ?A)
            (patient ?MT ?BP)
            (patient ?MT ?TORSO)
            (part ?BP ?ORGANISM)
            (part ?TORSO ?ORGANISM)
            (experiencer ?A Organism)
            (moves ?A ?BP))))		 Anatomy.kif 2073-2089
(=>
    (instance ?B Breast)
    (exists (?T)
        (and
            (instance ?T Torso)
            (part ?B
                (FrontFn ?T)))))		 Mid-level-ontology.kif 14182-14188
(=>
    (instance ?B HumanBack)
    (exists (?P ?T)
        (and
            (instance ?P Human)
            (instance ?T Torso)
            (part ?T ?P)
            (equal ?B
                (BackFn ?T)))))		 Medicine.kif 5670-5677