Healthy
|
|
appearance as argument number 1 |
(documentation Healthy EnglishLanguage "The state of not having any DiseaseOrSyndrome.") | Mid-level-ontology.kif 30282-30282 | |
(instance Healthy BiologicalAttribute) | Mid-level-ontology.kif 30281-30281 | Healthy 是 生物属性 的 instance |
appearance as argument number 2 |
(termFormat EnglishLanguage Healthy "healthy") | domainEnglishFormat.kif 64972-64972 |
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 |
|