Healthy(healthy) | anicteric, asymptomatic, bouncing, fit, full-blooded, good, hale, healthy, hearty, lusty, red-blooded, sound, symptomless, well, whole, wholesome |
appearance as argument number 1 |
(documentation Healthy EnglishLanguage "The state of not having any DiseaseOrSyndrome.") | Mid-level-ontology.kif 30306-30306 | |
(instance Healthy BiologicalAttribute) | Mid-level-ontology.kif 30305-30305 | Healthy is an instance of biological attribute |
appearance as argument number 2 |
(termFormat EnglishLanguage Healthy "healthy") | domainEnglishFormat.kif 64974-64974 |
antecedent |
consequent |
(=> (and (breathingRate ?H ?T ?R) (instance ?T Minute) (not (exists (?R) (and (instance ?R RecreationOrExercise) (agent ?R ?H) (during ?T (WhenFn ?R))))) (holdsDuring ?T (attribute ?H HumanAdult)) (or (greaterThan ?R 16) (lessThan ?R 12))) (holdsDuring ?T (not (attribute ?H Healthy)))) |
Medicine.kif 367-385 |
|