| Outdoors(outdoors)
| | alfresco, open, open_air, out-of-doors, out_of_doors, outdoors, outside |
| appearance as argument number 1 |
|
|
| (subclass Outdoors Region) | Mid-level-ontology.kif 10376-10376 | Outdoors is a subclass of region |
| (documentation Outdoors EnglishLanguage "Any Region which is not enclosed by a Building or part of a Building.") | Mid-level-ontology.kif 10377-10378 | Outdoors is a subclass of region |
| (externalImage Outdoors "http://upload.wikimedia.org/wikipedia/commons/thumb/ d/ d2/ Centralpark.png/ 300px_Centralpark.png") | pictureList.kif 1312-1312 | Outdoors is a subclass of region |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?OUTDOORS Outdoors) (not (exists (?BUILDING) (and (instance ?BUILDING Building) (orientation ?OUTDOORS ?BUILDING Inside))))) |
Mid-level-ontology.kif 10380-10386 | If X is an instance of outdoors, then there doesn't exist Y such that Y is an instance of building and X is inside the to Y |
| (=> (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 988-998 | If X is an instance of marching band, Y is an instance of musical performance, X is an agent of Y, Z is an instance of outdoors, and Y is located at Z, then there exists W such that W is an instance of ambulating and W is a subprocess of Y |
| consequent |
|
|
|
|
|