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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Chest
Chest

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


(documentation Chest EnglishLanguage "The part of the Torso that includes the rib cage of an Animal, surrounding the Heart and Lungs.") Mid-level-ontology.kif 11103-11105
(subclass Chest AnimalAnatomicalStructure) Mid-level-ontology.kif 11102-11102 Chest est une sous-classe de AnimalAnatomicalStructure

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


(initialPart Pectoralis Chest) Mid-level-ontology.kif 10659-10659 initialPart Pectoralis and Chest
(initialPart Rib Chest) Mid-level-ontology.kif 11126-11126 initialPart Rib and Chest
(termFormat EnglishLanguage Chest "chest") Mid-level-ontology.kif 11106-11106
(typicalPart Pectoralis Chest) Mid-level-ontology.kif 10658-10658 typicalPart Pectoralis and Chest
(typicalPart Rib Chest) Mid-level-ontology.kif 11125-11125 typicalPart Rib and Chest
(typicallyContainsPart RibCage Chest) Mid-level-ontology.kif 11153-11153 typicallyContainsPart RibCage and Chest

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


(=>
    (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 11108-11118


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners