Outdoors(outdoors) | alfresco, open, open_air, out-of-doors, out_of_doors, outdoors, outside |
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 9348-9349 | |
(externalImage Outdoors "http://upload.wikimedia.org/wikipedia/commons/thumb/ d/ d2/ Centralpark.png/ 300px-Centralpark.png") | pictureList.kif 1312-1312 | |
(subclass Outdoors Region) | Mid-level-ontology.kif 9347-9347 | Outdoors is a subclass of region |
appearance as argument number 2 |
(disjoint Indoors Outdoors) | Mid-level-ontology.kif 9360-9360 | Indoors is disjoint from outdoors |
(termFormat ChineseLanguage Outdoors "在户外") | domainEnglishFormat.kif 43712-43712 | Indoors is disjoint from outdoors |
(termFormat ChineseTraditionalLanguage Outdoors "在戶外") | domainEnglishFormat.kif 43711-43711 | Indoors is disjoint from outdoors |
(termFormat EnglishLanguage Outdoors "outdoors") | domainEnglishFormat.kif 43710-43710 | Indoors is disjoint from outdoors |
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 986-996 |
|
(=> (instance ?OUTDOORS Outdoors) (not (exists (?BUILDING) (and (instance ?BUILDING Building) (orientation ?OUTDOORS ?BUILDING Inside))))) |
Mid-level-ontology.kif 9351-9357 |
|
consequent |