| Courtyard(courtyard) | | court, 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 26005-26006 | |
| (subclass Courtyard StationaryArtifact) | Mid-level-ontology.kif 26004-26004 | Courtyard is a subclass of stationary artifact |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Courtyard "courtyard") | Mid-level-ontology.kif 26007-26007 |
| 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 26009-26020 |
|
|
|
|