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 | Rib cage is a subclass of animal anatomical structure |
(typicallyContainsPart RibCage Chest) | Mid-level-ontology.kif 11263-11263 | A chest typically has a part rib cage |
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 |
|