| Fasting(fasting) | | fast, fasting, hunger_strike |
| appearance as argument number 1 |
|
|
| (documentation Fasting EnglishLanguage "A state of not Eating.") | Mid-level-ontology.kif 28843-28843 | |
| (instance Fasting RelationalAttribute) | Mid-level-ontology.kif 28842-28842 | Fasting is an instance of relational attribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Fasting "fasting") | Mid-level-ontology.kif 28844-28844 |
| antecedent |
|
|
| (=> (holdsDuring ?T (attribute ?H Fasting)) (not (exists (?P) (and (instance ?P Eating) (agent ?P ?H) (overlapsTemporally ?T (WhenFn ?P)))))) |
Mid-level-ontology.kif 28846-28853 |
|
|
|
|