![]() |
![]() ![]() ![]()
|
![]() |
|
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 est une sous-classe de artefact stationnaire |
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 |
|
![]() |
![]() |