Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| RibCage(rib cage) |  | rib_cage |
| appearance as argument number 1 |
|
|
| (subclass RibCage AnimalAnatomicalStructure) | Mid-level-ontology.kif 12735-12735 | Rib cage is a subclass of animal anatomical structure |
| (documentation RibCage EnglishLanguage "The Ribs and sternum that form the Chest.") | Mid-level-ontology.kif 12736-12737 | Rib cage is a subclass of animal anatomical structure |
| (typicallyContainsPart RibCage Chest) | Mid-level-ontology.kif 12760-12760 | A chest typically has a part rib cage |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage RibCage "rib cage") | domainEnglishFormat.kif 65416-65416 |
| antecedent |
|
|
| (=> (instance ?RC RibCage) (memberType ?RC RibBone)) |
Mid-level-ontology.kif 12739-12741 | If X is an instance of rib cage, then rib is a member type of X |
| (=> (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 12743-12758 | If X is an instance of rib cage, X is a part of Y, Y is an instance of human, living is an attribute of Y, and ~{ Z is an instance of pathologic process } or ~{ Z is located at Y }, then there exist W, V such that W is an instance of heart, W is an instance of lung, X contains V, and X contains W |
|