Fasting(fasting) | ![]() | fast, fasting, hunger_strike |
appearance as argument number 1 |
![]() |
(documentation Fasting EnglishLanguage "A state of not Eating.") | Mid-level-ontology.kif 32580-32580 | |
(instance Fasting RelationalAttribute) | Mid-level-ontology.kif 32579-32579 | Fasting is an instance of relational attribute |
appearance as argument number 2 |
![]() |
(termFormat EnglishLanguage Fasting "fasting") | Mid-level-ontology.kif 32581-32581 |
antecedent |
![]() |
(=> (holdsDuring ?T (attribute ?H Fasting)) (not (exists (?P) (and (instance ?P Eating) (agent ?P ?H) (overlapsTemporally ?T (WhenFn ?P)))))) |
Mid-level-ontology.kif 32583-32590 |
|
![]() |
![]() |