Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Mounting(mounting)
|  | bestride, climb_on, get_on, hop_on, jump_on, mount, mount_up |
| appearance as argument number 1 |
|
|
| (subclass Mounting BodyMotion) | Mid-level-ontology.kif 448-448 | Mounting is a subclass of body motion |
| (documentation Mounting EnglishLanguage "Any BodyMotion which results in being On something else.") | Mid-level-ontology.kif 449-450 | Mounting is a subclass of body motion |
| (externalImage Mounting "http://upload.wikimedia.org/wikipedia/commons/e/ eb/ Fremont_Solstice_Parade_2007_-_gymnasts_12-1.jpg") | pictureList.kif 2705-2705 | Mounting is a subclass of body motion |
| (externalImage Mounting "http://upload.wikimedia.org/wikipedia/commons/f/ f4/ Fremont_Solstice_Parade_2007_-_gymnasts_12-5.jpg") | pictureList.kif 2860-2860 | Mounting is a subclass of body motion |
| (externalImage Mounting "http://upload.wikimedia.org/wikipedia/commons/1/ 1d/ Fremont_Solstice_Parade_2007_-_gymnasts_12-6.jpg") | pictureList.kif 2861-2861 | Mounting is a subclass of body motion |
| (externalImage Mounting "http://upload.wikimedia.org/wikipedia/commons/8/ 80/ Fremont_Solstice_Parade_2007_-_gymnasts_12-8.jpg") | pictureList.kif 2862-2862 | Mounting is a subclass of body motion |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?M Mounting) (agent ?M ?A) (patient ?M ?O)) (and (holdsDuring (BeginFn (WhenFn ?M)) (not (orientation ?A ?O On))) (holdsDuring (EndFn (WhenFn ?M)) (orientation ?A ?O On)))) |
Mid-level-ontology.kif 452-463 | If X is an instance of mounting, Y is an agent of X, and Z is a patient of X, then Y is not on to Z holds during the beginning of the time of existence of X and Y is on to Z holds during the end of the time of existence of X |
|