Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
StandingUp(standing up)
|  | arise, get_up, rear, rise, rise_up, stand_up, straighten, turn_out, uprise |
| appearance as argument number 1 |
|
|
| (subclass StandingUp BodyMotion) | Mid-level-ontology.kif 21840-21840 | Standing up is a subclass of body motion |
| (subclass StandingUp MotionUpward) | Mid-level-ontology.kif 21841-21841 | Standing up is a subclass of motion upward |
| (documentation StandingUp EnglishLanguage "The BodyMotion of moving from a Sitting to a Standing position.") | Mid-level-ontology.kif 21842-21843 | Standing up is a subclass of motion upward |
| (externalImage StandingUp "http://upload.wikimedia.org/wikipedia/commons/ b/ b3/ Standing_Woman.jpg") | pictureList.kif 2737-2737 | Standing up is a subclass of motion upward |
| (externalImage StandingUp "http://upload.wikimedia.org/wikipedia/commons/ 6/ 61/ Isarfl%C3%B6%C3%9Fer.jpg") | pictureList.kif 2934-2934 | Standing up is a subclass of motion upward |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?STAND StandingUp) (agent ?STAND ?AGENT)) (and (holdsDuring (BeginFn (WhenFn ?STAND)) (attribute ?AGENT Sitting)) (holdsDuring (EndFn (WhenFn ?STAND)) (attribute ?AGENT Standing)))) |
Mid-level-ontology.kif 21845-21855 | If X is an instance of standing up and Y is an agent of X, then sitting is an attribute of Y holds during the beginning of the time of existence of X and standing is an attribute of Y holds during the end of the time of existence of X |
|