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 15286-15290 | |
(externalImage Door "http://upload.wikimedia.org/wikipedia/commons/6/61/ GeorgianischeTuer.JPG") | pictureList.kif 80-80 | |
(relatedInternalConcept Door VehicleDoor) | Mid-level-ontology.kif 29431-29431 | Door e' relacionado internamente por SUMO a VehicleDoor |
(subclass Door Device) | Mid-level-ontology.kif 15283-15283 | Door e' uma sub-classe de Aparelho |
(subclass Door TransitwayObstacle) | Mid-level-ontology.kif 15282-15282 | Door e' uma sub-classe de TransitwayObstacle |
appearance as argument number 2 |
(termFormat ChineseLanguage Door "门") | domainEnglishFormat.kif 20190-20190 | |
(termFormat ChineseTraditionalLanguage Door "門") | domainEnglishFormat.kif 20189-20189 | |
(termFormat EnglishLanguage Door "door") | domainEnglishFormat.kif 20188-20188 |
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 25854-25871 |
|
(=> (instance ?DOOR Door) (exists (?ARTIFACT) (and (part ?DOOR ?ARTIFACT) (or (instance ?ARTIFACT Building) (instance ?ARTIFACT Room))))) |
Mid-level-ontology.kif 15326-15333 | |
(=> (instance ?DOOR Door) (exists (?WAY) (and (part ?DOOR ?WAY) (instance ?WAY Doorway)))) |
Mid-level-ontology.kif 15292-15297 |
consequent |