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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RibCage

Sigma KEE - RibCage
RibCage

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


(documentation RibCage EnglishLanguage "The Ribs and sternum that form the Chest.") Mid-level-ontology.kif 11239-11240
(subclass RibCage AnimalAnatomicalStructure) Mid-level-ontology.kif 11238-11238 子類 RibCage and 動物解剖結構
(typicallyContainsPart RibCage Chest) Mid-level-ontology.kif 11263-11263 Chest typicallypart RibCage

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


(termFormat EnglishLanguage RibCage "rib cage") domainEnglishFormat.kif 65413-65413

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


(=>
    (and
        (instance ?RC RibCage)
        (part ?RC ?H)
        (instance ?H Human)
        (attribute ?H Living)
        (not
            (and
                (instance ?P PathologicProcess)
                (located ?P ?H))))
    (exists (?HT ?LG)
        (and
            (instance ?HT Heart)
            (instance ?HT Lung)
            (contains ?RC ?LG)
            (contains ?RC ?HT))))
Mid-level-ontology.kif 11246-11261
(=>
    (instance ?RC RibCage)
    (memberType ?RC RibBone))
Mid-level-ontology.kif 11242-11244


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

Show without tree


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