Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Hallway(hall) |  | concourse, hall, hallway |
| appearance as argument number 1 |
|
|
| (subclass Hallway Room) | Mid-level-ontology.kif 17212-17212 | Hall is a subclass of room |
| (documentation Hallway EnglishLanguage "A Room that is primarly intended as a Transitway between other Rooms in a Building, although it may also contain Furniture and other Artifacts and be used for activities other than Translocation.") | Mid-level-ontology.kif 17213-17215 | Hall is a subclass of room |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?HALL Hallway) (hasPurpose ?HALL (exists (?TRAN ?BUILD ?R1 ?R2) (and (instance ?TRAN Translocation) (path ?TRAN ?HALL) (located ?HALL ?BUILD) (instance ?BUILD Building) (between ?R1 ?HALL ?R2) (instance ?R1 Room) (instance ?R2 Room) (located ?R1 ?BUILD) (located ?R2 ?BUILD) (not (equal ?R1 ?R2)))))) |
Mid-level-ontology.kif 17221-17236 | If X is an instance of hall, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of translocation (3) X is path along which Y occurs (4) X is located at Z (5) Z is an instance of building (6) X is between W (7) V (8) W is an instance of room (9) V is an instance of room (10) W is located at Z (11) V is located at Z (12) equal W (13) V |
| consequent |
|
|
| (=> (and (instance ?SM StripMall) (instance ?RS1 RetailStore) (part ?RS1 ?SM) (instance ?RS2 RetailStore) (part ?RS2 ?SM) (not (equal ?RS1 ?RS2))) (not (exists (?H) (and (instance ?H Hallway) (connects ?RS1 ?H ?RS2))))) |
Medicine.kif 5154-5167 | If All of the following hold: (1) X is an instance of strip mall (2) Y is an instance of retail store (3) Y is a part of X (4) Z is an instance of retail store (5) Z is a part of X (6) equal Y and Z, then there doesn't exist W such that W is an instance of hall, Y connects W, and Z |
|