Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Fasting(fasting) |  | fast, fasting, hunger_strike |
| appearance as argument number 1 |
|
|
| (instance Fasting RelationalAttribute) | Mid-level-ontology.kif 33292-33292 | Fasting is an instance of relational attribute |
| (documentation Fasting EnglishLanguage "A state of not Eating.") | Mid-level-ontology.kif 33293-33293 | Fasting is an instance of relational attribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Fasting "fasting") | Mid-level-ontology.kif 33294-33294 |
| antecedent |
|
|
| (=> (holdsDuring ?T (attribute ?H Fasting)) (not (exists (?P) (and (instance ?P Eating) (agent ?P ?H) (overlapsTemporally ?T (WhenFn ?P)))))) |
Mid-level-ontology.kif 33296-33303 | If fasting is an attribute of X holds during Y, then there doesn't exist Z such that Z is an instance of eating, X is an agent of Z, and the time of existence of Z overlaps Y |
|