Courtyard |
appearance as argument number 1 |
(documentation Courtyard EnglishLanguage "Courtyard is an unroofed area wholly or partly surrounded by walls or buildings") | Mid-level-ontology.kif 26050-26051 | |
(subclass Courtyard StationaryArtifact) | Mid-level-ontology.kif 26049-26049 | Courtyard ist eine teilkategorie von StationaryArtifact |
appearance as argument number 2 |
(termFormat EnglishLanguage Courtyard "courtyard") | Mid-level-ontology.kif 26052-26052 |
antecedent |
(=> (instance ?X Courtyard) (and (not (exists (?ROOF) (and (instance ?ROOF Roof) (top ?ROOF ?X)))) (exists (?BLDG) (and (instance ?BLDG Building) (orientation ?X ?BLDG Surrounded))))) |
Mid-level-ontology.kif 26054-26065 |
|