|
|
   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 2862-2862 | |
| (externalImage Mounting "http://upload.wikimedia.org/wikipedia/commons/8/ 80/ Fremont_Solstice_Parade_2007_-_gymnasts_12-8.jpg") | pictureList.kif 2863-2863 | |
| (externalImage Mounting "http://upload.wikimedia.org/wikipedia/commons/e/ eb/ Fremont_Solstice_Parade_2007_-_gymnasts_12-1.jpg") | pictureList.kif 2706-2706 | |
| (externalImage Mounting "http://upload.wikimedia.org/wikipedia/commons/f/ f4/ Fremont_Solstice_Parade_2007_-_gymnasts_12-5.jpg") | pictureList.kif 2861-2861 | |
| (subclass Mounting BodyMotion) | Mid-level-ontology.kif 458-458 | 子類 安裝 and BodyMotion |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Mounting "安装") | domainEnglishFormat.kif 38999-38999 | |
| (termFormat ChineseTraditionalLanguage Mounting "安裝") | domainEnglishFormat.kif 38998-38998 | |
| (termFormat EnglishLanguage Mounting "mounting") | domainEnglishFormat.kif 38997-38997 |
| 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 |
|
|
|
