| AdjoiningRoom | |
| appearance as argument number 1 |
|
|
| (documentation AdjoiningRoom EnglishLanguage "AdjoiningRoom describes a Room that has another Room Adjacent to it, and a doorway existing on their common wall to allow access from one room to another") | Mid-level-ontology.kif 11960-11962 | |
| (instance AdjoiningRoom RelationalAttribute) | Mid-level-ontology.kif 11959-11959 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage AdjoiningRoom "adjoining room") | Mid-level-ontology.kif 11963-11963 |
| antecedent |
|
|
| (=> (attribute ?X AdjoiningRoom) (exists (?ROOM ?WALL ?DOOR) (and (attribute ?ROOM AdjoiningRoom) (not (equal ?ROOM ?X)) (orientation ?X ?ROOM Adjacent) (instance ?WALL Wall) (part ?WALL ?ROOM) (part ?WALL ?X) (instance ?DOOR Door) (part ?DOOR ?WALL)))) |
Mid-level-ontology.kif 11969-11980 | |
| (=> (attribute ?X AdjoiningRoom) (instance ?X Room)) |
Mid-level-ontology.kif 11965-11967 |
| consequent |
|
|
| (=> (attribute ?X AdjoiningRoom) (exists (?ROOM ?WALL ?DOOR) (and (attribute ?ROOM AdjoiningRoom) (not (equal ?ROOM ?X)) (orientation ?X ?ROOM Adjacent) (instance ?WALL Wall) (part ?WALL ?ROOM) (part ?WALL ?X) (instance ?DOOR Door) (part ?DOOR ?WALL)))) |
Mid-level-ontology.kif 11969-11980 |
|
|
|