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 | |
(typicallyContainsPart RibCage Chest) | Mid-level-ontology.kif 11263-11263 |
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 |