| RibCage | |
| appearance as argument number 1 |
|
|
| (documentation RibCage EnglishLanguage "The Ribs and sternum that form the Chest.") | Mid-level-ontology.kif 12136-12137 | |
| (subclass RibCage AnimalAnatomicalStructure) | Mid-level-ontology.kif 12135-12135 | |
| (typicallyContainsPart RibCage Chest) | Mid-level-ontology.kif 12160-12160 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage RibCage "rib cage") | domainEnglishFormat.kif 65436-65436 |
| 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 12143-12158 | |
| (=> (instance ?RC RibCage) (memberType ?RC RibBone)) |
Mid-level-ontology.kif 12139-12141 |
|
|
|