|
|
   Dismounting
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Dismounting EnglishLanguage "Any BodyMotion which results in not being On something else.") | Mid-level-ontology.kif 19999-20000 | |
| (externalImage Dismounting "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1d/ Fremont_Solstice_Parade_2007_-_gymnasts_12-6.jpg") | pictureList.kif 2662-2662 | |
| (subclass Dismounting BodyMotion) | Mid-level-ontology.kif 19998-19998 | Dismounting e' uma sub-classe de Movimento do Corpo |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Dismounting "拆卸") | domainEnglishFormat.kif 19884-19884 | |
| (termFormat ChineseTraditionalLanguage Dismounting "拆卸") | domainEnglishFormat.kif 19883-19883 | |
| (termFormat EnglishLanguage Dismounting "dismounting") | domainEnglishFormat.kif 19882-19882 |
| 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 20002-20014 |
|
|
|
|
