Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   StayingStill
|
|
|
| appearance as argument number 1 |
|
|
| (documentation StayingStill EnglishLanguage "A bodily movement behavior which involves remaining still. Note that a passenger on a train could be StayingStill and yet still experiencing a change in location.") | Mid-level-ontology.kif 6426-6428 | |
| (subclass StayingStill EmotionalBodilyMovementBehavior) | Mid-level-ontology.kif 6429-6429 | Staying still is a subclass of emotional bodily movement behavior |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage StayingStill "staying still") | Mid-level-ontology.kif 6425-6425 |
| antecedent |
|
|
| (=> (and (instance ?SS StayingStill) (experiencer ?SS ?A)) (not (exists (?B ?T) (and (instance ?B BodyMotion) (instance ?T Translocation) (causes ?B ?T) (agent ?B ?A))))) |
Mid-level-ontology.kif 6431-6441 | If X is an instance of staying still and Y experiences X, then there don't exist Z, W such that Z is an instance of body motion, W is an instance of translocation, Z causes W, and Y is an agent of Z |
| consequent |
|
|
| (=> (instance ?PJ Pajamas) (hasPurpose ?PJ (exists (?A ?REST) (and (instance ?A Human) (agent ?REST ?A) (holdsDuring ?REST (wears ?A ?PJ)) (or (instance ?REST Sleeping) (instance ?REST StayingStill)))))) |
Mid-level-ontology.kif 6443-6454 | If X is an instance of pajamas, then X has the purpose there exist Y, Z such that Y is an instance of human, Y is an agent of Z, Y wears X holds during Z, and Z is an instance of sleeping or Z is an instance of staying still |
|