| Door
| |
| appearance as argument number 1 |
|
|
| (documentation Door EnglishLanguage "An Artifact that restricts and permits access to a StationaryArtifact (e.g. Building or Room) depending on whether the Door is open or locked. Note that the class Door also covers gates, because it is not possible to define objective criteria that reliably distinguish doors from gates.") | Mid-level-ontology.kif 12974-12978 | |
| (externalImage Door "http://upload.wikimedia.org/wikipedia/commons/6/61/ GeorgianischeTuer.JPG") | pictureList.kif 80-80 | |
| (relatedInternalConcept Door VehicleDoor) | Mid-level-ontology.kif 27571-27571 | |
| (subclass Door Device) | Mid-level-ontology.kif 12971-12971 | |
| (subclass Door TransitwayObstacle) | Mid-level-ontology.kif 12970-12970 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Door "门") | domainEnglishFormat.kif 20188-20188 | |
| (termFormat ChineseTraditionalLanguage Door "門") | domainEnglishFormat.kif 20187-20187 | |
| (termFormat EnglishLanguage Door "door") | domainEnglishFormat.kif 20186-20186 |
| antecedent |
|
|
| (=> (and (instance ?KL KnockLight) (attribute ?X Deaf) (located ?KL ?LOC) (located ?X ?LOC) (instance ?DOOR Door) (part ?DOOR ?LOC)) (hasPurposeForAgent ?KL (knows ?X (exists (?KNOCK) (and (instance ?KNOCK Impacting) (patient ?KNOCK ?DOOR)))) ?X)) |
Mid-level-ontology.kif 23801-23814 | |
| (=> (and (instance ?KL KnockLight) (instance ?ROOM Room) (located ?KL ?ROOM) (instance ?DOOR Door) (part ?DOOR ?ROOM)) (hasPurpose ?KL (exists (?SOUND ?LIGHT ?IMPACT) (and (instance ?IMPACT Impacting) (patient ?IMPACT ?DOOR) (causes ?IMPACT ?SOUND) (instance ?SOUND RadiatingSound) (agent ?SOUND ?DOOR) (causes ?SOUND ?LIGHT) (instance ?LIGHT RadiatingLight) (agent ?LIGHT ?KL))))) |
Mid-level-ontology.kif 23781-23798 | |
| (=> (instance ?DOOR Door) (exists (?ARTIFACT) (and (part ?DOOR ?ARTIFACT) (or (instance ?ARTIFACT Building) (instance ?ARTIFACT Room))))) |
Mid-level-ontology.kif 13013-13020 | |
| (=> (instance ?DOOR Door) (exists (?WAY) (and (part ?DOOR ?WAY) (instance ?WAY Doorway)))) |
Mid-level-ontology.kif 12980-12985 |
| 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 12952-12963 | |
| (=> (attribute ?X Doorman) (hasPurpose ?X (exists (?DOOR ?PROC) (and (instance ?DOOR Door) (agent ?PROC ?X) (patient ?PROC ?DOOR) (or (instance ?PROC Opening) (instance ?PROC Closing)))))) |
Hotel.kif 2388-2398 |
|
|
|