| Healthy | |
| appearance as argument number 1 |
|
|
| (documentation Healthy EnglishLanguage "The state of not having any DiseaseOrSyndrome.") | Mid-level-ontology.kif 29660-29660 | |
| (instance Healthy BiologicalAttribute) | Mid-level-ontology.kif 29659-29659 |
| antecedent |
|
|
| (=> (and (connectedBodyPart ?A ?B) (attribute ?H Healthy)) (exists (?AI ?BI) (and (instance ?AI ?A) (instance ?BI ?B) (part ?AI ?G) (part ?BI ?H) (connected ?AI ?BI)))) |
Mid-level-ontology.kif 11445-11455 | |
| (=> (and (instance ?A Animal) (instance ?P (BodySideFn ?S ?BPC)) (contraryAttribute ?S ?SO) (attribute ?A Healthy)) (exists (?PO) (and (instance ?PO (BodySideFn ?SO ?BPC)) (orientation ?P ?PO ?S)))) |
Merge.kif 14708-14719 | |
| (=> (attribute ?X Healthy) (not (exists (?Y) (and (instance ?Y DiseaseOrSyndrome) (attribute ?X ?Y))))) |
Mid-level-ontology.kif 29662-29668 |
|
|
|