|
|
   RibCage
|
|
|
| appearance as argument number 1 |
|
|
| (subclass RibCage AnimalAnatomicalStructure) | Mid-level-ontology.kif 10741-10741 | |
| (typicallyContainsPart RibCage Chest) | Mid-level-ontology.kif 10766-10766 |
| 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 10749-10764 | |
| (=> (instance ?RC RibCage) (memberType ?RC Rib)) |
Mid-level-ontology.kif 10745-10747 |
|
|
|