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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Torso

 Sigma KEE - Torso
Torso

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


(documentation Torso EnglishLanguage "The body of a Primate excluding its Limbs.") Mid-level-ontology.kif 12808-12808
(externalImage Torso "http://upload.wikimedia.org/wikipedia/commons/a/a9/ Chest.agr.jpg") pictureList.kif 64-64
(subclass Torso AnimalAnatomicalStructure) Mid-level-ontology.kif 12806-12806 Torso est une sous-classe de AnimalAnatomicalStructure
(subclass Torso BodyPart) Mid-level-ontology.kif 12807-12807 Torso est une sous-classe de partie du corps

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


(initialPart LatissimusDorsi Torso) Mid-level-ontology.kif 10775-10775 initialPart LatissimusDorsi and Torso
(initialPart ThoraxBone Torso) Anatomy.kif 249-249 initialPart ThoraxBone and Torso
(partTypes Abdomen Torso) Mid-level-ontology.kif 12820-12820 partTypes Abdomen and Torso
(termFormat ChineseLanguage Torso "躯干") domainEnglishFormat.kif 58502-58502
(termFormat ChineseTraditionalLanguage Torso "軀幹") domainEnglishFormat.kif 58501-58501
(termFormat EnglishLanguage Torso "torso") domainEnglishFormat.kif 58500-58500
(typicalPart LatissimusDorsi Torso) Mid-level-ontology.kif 10774-10774 typicalPart LatissimusDorsi and Torso

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


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

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 11219-11229
(=>
    (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 12833-12839
(=>
    (instance ?B HumanBack)
    (exists (?P ?T)
        (and
            (instance ?P Human)
            (instance ?T Torso)
            (part ?T ?P)
            (equal ?B
                (BackFn ?T)))))		 Medicine.kif 5659-5666