| Mounting
| |
| appearance as argument number 1 |
|
|
| (documentation Mounting EnglishLanguage "Any BodyMotion which results in being On something else.") | Mid-level-ontology.kif 459-460 | |
| (externalImage Mounting "http://upload.wikimedia.org/wikipedia/commons/1/ 1d/ Fremont_Solstice_Parade_2007_-_gymnasts_12-6.jpg") | pictureList.kif 2861-2861 | |
| (externalImage Mounting "http://upload.wikimedia.org/wikipedia/commons/8/ 80/ Fremont_Solstice_Parade_2007_-_gymnasts_12-8.jpg") | pictureList.kif 2862-2862 | |
| (externalImage Mounting "http://upload.wikimedia.org/wikipedia/commons/e/ eb/ Fremont_Solstice_Parade_2007_-_gymnasts_12-1.jpg") | pictureList.kif 2705-2705 | |
| (externalImage Mounting "http://upload.wikimedia.org/wikipedia/commons/f/ f4/ Fremont_Solstice_Parade_2007_-_gymnasts_12-5.jpg") | pictureList.kif 2860-2860 | |
| (subclass Mounting BodyMotion) | Mid-level-ontology.kif 458-458 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Mounting "安装") | domainEnglishFormat.kif 39008-39008 | |
| (termFormat ChineseTraditionalLanguage Mounting "安裝") | domainEnglishFormat.kif 39007-39007 | |
| (termFormat EnglishLanguage Mounting "mounting") | domainEnglishFormat.kif 39006-39006 |
| 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 462-473 |
|
|
|