| Outdoors(在户外)
| |
| appearance as argument number 1 |
|
|
| (documentation Outdoors EnglishLanguage "Any Region which is not enclosed by a Building or part of a Building.") | Mid-level-ontology.kif 9097-9098 | |
| (externalImage Outdoors "http://upload.wikimedia.org/wikipedia/commons/thumb/ d/ d2/ Centralpark.png/ 300px-Centralpark.png") | pictureList.kif 1313-1313 | |
| (subclass Outdoors Region) | Mid-level-ontology.kif 9096-9096 | 在户外 是 地区 的 subclass |
| appearance as argument number 2 |
|
|
| (disjoint Indoors Outdoors) | Mid-level-ontology.kif 9109-9109 | 在室内 和 % 2 是 disjoint |
| (termFormat ChineseLanguage Outdoors "在户外") | domainEnglishFormat.kif 43689-43689 | |
| (termFormat ChineseTraditionalLanguage Outdoors "在戶外") | domainEnglishFormat.kif 43688-43688 | |
| (termFormat EnglishLanguage Outdoors "outdoors") | domainEnglishFormat.kif 43687-43687 |
| antecedent |
|
|
| (=> (and (instance ?GRP MarchingBand) (instance ?MP MusicalPerformance) (agent ?MP ?GRP) (instance ?OD Outdoors) (eventLocated ?MP ?OD)) (exists (?AMB) (and (instance ?AMB Ambulating) (subProcess ?AMB ?MP)))) |
Music.kif 985-995 | |
| (=> (instance ?OUTDOORS Outdoors) (not (exists (?BUILDING) (and (instance ?BUILDING Building) (orientation ?OUTDOORS ?BUILDING Inside))))) |
Mid-level-ontology.kif 9100-9106 |
| consequent |
|
|
|
|
|