| 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 16187-16191 | |
| (externalImage Door "http://upload.wikimedia.org/wikipedia/commons/6/61/ GeorgianischeTuer.JPG") | pictureList.kif 80-80 | |
| (relatedInternalConcept Door VehicleDoor) | Mid-level-ontology.kif 30495-30495 | 门 和 VehicleDoor 是 内部相关 |
| (subclass Door Device) | Mid-level-ontology.kif 16184-16184 | 门 是 设备 的 subclass |
| (subclass Door TransitwayObstacle) | Mid-level-ontology.kif 16183-16183 | 门 是 过境障碍 的 subclass |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Door "门") | domainEnglishFormat.kif 20205-20205 | |
| (termFormat ChineseTraditionalLanguage Door "門") | domainEnglishFormat.kif 20204-20204 | |
| (termFormat EnglishLanguage Door "door") | domainEnglishFormat.kif 20203-20203 |
| antecedent |
|
|
| (=> (and (instance ?KL KnockLight) (located ?KL ?ROOM) (instance ?ROOM Room) (instance ?DOOR Door) (part ?DOOR ?ROOM)) (hasPurpose ?KL (exists (?KNOCK ?SOUND ?LIGHT) (and (instance ?KNOCK Impacting) (patient ?KNOCK ?DOOR) (causes ?KNOCK ?SOUND) (instance ?SOUND RadiatingSound) (agent ?SOUND ?DOOR) (causes ?SOUND ?LIGHT) (instance ?LIGHT RadiatingVisibleLight) (instrument ?LIGHT ?KL))))) |
Mid-level-ontology.kif 26916-26933 |
|
| (=> (instance ?DOOR Door) (exists (?ARTIFACT) (and (part ?DOOR ?ARTIFACT) (or (instance ?ARTIFACT Building) (instance ?ARTIFACT Room))))) |
Mid-level-ontology.kif 16227-16234 | |
| (=> (instance ?DOOR Door) (exists (?WAY) (and (part ?DOOR ?WAY) (instance ?WAY Doorway)))) |
Mid-level-ontology.kif 16193-16198 |
| consequent |
|
|
| (=> (and (instance ?KL KnockLight) (instance ?A Human) (attribute ?A Deaf) (uses ?KL ?A)) (hasPurpose ?KL (exists (?KNOCK ?DOOR) (and (instance ?KNOCK Impacting) (patient ?KNOCK ?DOOR) (instance ?DOOR Door) (knows ?A ?KNOCK))))) |
Mid-level-ontology.kif 26935-26947 | |
| (=> (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 16165-16176 | |
| (=> (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 2428-2438 |
|
|
|