| Dismounting
| |
| appearance as argument number 1 |
|
|
| (documentation Dismounting EnglishLanguage "Any BodyMotion which results in not being On something else.") | Mid-level-ontology.kif 20258-20259 | |
| (externalImage Dismounting "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1d/ Fremont_Solstice_Parade_2007_-_gymnasts_12-6.jpg") | pictureList.kif 2661-2661 | |
| (subclass Dismounting BodyMotion) | Mid-level-ontology.kif 20257-20257 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Dismounting "拆卸") | domainEnglishFormat.kif 19895-19895 | |
| (termFormat ChineseTraditionalLanguage Dismounting "拆卸") | domainEnglishFormat.kif 19894-19894 | |
| (termFormat EnglishLanguage Dismounting "dismounting") | domainEnglishFormat.kif 19893-19893 |
| antecedent |
|
|
| (=> (and (instance ?D Dismounting) (agent ?D ?A) (patient ?D ?O)) (and (holdsDuring (BeginFn (WhenFn ?D)) (orientation ?A ?O On)) (holdsDuring (EndFn (WhenFn ?D)) (not (orientation ?A ?O On))))) |
Mid-level-ontology.kif 20261-20273 |
|
|
|