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 12780-12780
(externalImage Torso "http://upload.wikimedia.org/wikipedia/commons/a/a9/ Chest.agr.jpg") pictureList.kif 64-64
(subclass Torso AnimalAnatomicalStructure) Mid-level-ontology.kif 12778-12778 Torso は AnimalAnatomicalStructure の subclass では %n
(subclass Torso BodyPart) Mid-level-ontology.kif 12779-12779 Torso は 体の部分 の subclass では %n

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


(initialPart LatissimusDorsi Torso) Mid-level-ontology.kif 10747-10747 initialPart LatissimusDorsi and Torso
(initialPart ThoraxBone Torso) Anatomy.kif 249-249 initialPart ThoraxBone and Torso
(partTypes Abdomen Torso) Mid-level-ontology.kif 12792-12792 partTypes Abdomen and Torso
(termFormat ChineseLanguage Torso "躯干") domainEnglishFormat.kif 58514-58514
(termFormat ChineseTraditionalLanguage Torso "軀幹") domainEnglishFormat.kif 58513-58513
(termFormat EnglishLanguage Torso "torso") domainEnglishFormat.kif 58512-58512
(typicalPart LatissimusDorsi Torso) Mid-level-ontology.kif 10746-10746 typicalPart LatissimusDorsi and Torso

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


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

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 11191-11201
(=>
    (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 12805-12811
(=>
    (instance ?B HumanBack)
    (exists (?P ?T)
        (and
            (instance ?P Human)
            (instance ?T Torso)
            (part ?T ?P)
            (equal ?B
                (BackFn ?T)))))		 Medicine.kif 5659-5666