| 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 and 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 |
|
|
|