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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Chest
Chest(chest)bosom

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 10720-10722
(subclass Chest AnimalAnatomicalStructure) Mid-level-ontology.kif 10719-10719 Chest is a subclass of animal anatomical structure

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


(initialPart Pectoralis Chest) Mid-level-ontology.kif 10276-10276 Every chest muscle is initially part of a chest
(initialPart Rib Chest) Mid-level-ontology.kif 10743-10743 Every rib is initially part of a chest
(termFormat EnglishLanguage Chest "chest") Mid-level-ontology.kif 10723-10723
(typicalPart Pectoralis Chest) Mid-level-ontology.kif 10275-10275 A chest muscle is typically a part of a chest
(typicalPart Rib Chest) Mid-level-ontology.kif 10742-10742 A rib is typically a part of a chest
(typicallyContainsPart RibCage Chest) Mid-level-ontology.kif 10770-10770 A chest typically has a part RibCage

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 10725-10735


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