Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Sleepy(sleepy) |
| appearance as argument number 1 |
|
| (instance Sleepy ConsciousnessAttribute) | Mid-level-ontology.kif 18062-18062 | Sleepy is an instance of consciousness attribute |
| (documentation Sleepy EnglishLanguage "The state of feeling like one wants to be Asleep.") | Mid-level-ontology.kif 18063-18064 | Sleepy is an instance of consciousness attribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Sleepy "sleepy") | Mid-level-ontology.kif 18065-18065 | |
| (sideEffect Cetirizine Sleepy) | Medicine.kif 3746-3746 | Sleepy is a side effect of taking cetirizine |
| antecedent |
|
|
| (=> (holdsDuring ?T (attribute ?H Sleepy)) (desires ?H (holdsDuring (ImmediateFutureFn ?T) (attribute ?H Asleep)))) |
Mid-level-ontology.kif 18067-18073 | If sleepy is an attribute of X holds during Y, then X desires asleep is an attribute of X holds during immediately after Y |
|