Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Courtyard(courtyard) |  | court, courtyard |
| appearance as argument number 1 |
|
|
| (subclass Courtyard StationaryArtifact) | Mid-level-ontology.kif 28586-28586 | Courtyard is a subclass of stationary artifact |
| (documentation Courtyard EnglishLanguage "Courtyard is an unroofed area wholly or partly surrounded by walls or buildings") | Mid-level-ontology.kif 28587-28588 | Courtyard is a subclass of stationary artifact |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Courtyard "courtyard") | Mid-level-ontology.kif 28589-28589 |
| 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 28591-28602 | If X is an instance of courtyard, then there doesn't exist Y such that Y is an instance of roof and the top of X is Y and there exists Z such that Z is an instance of building and X is surrounded by to Z |
|