ParkingBrake
|
|
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 15258-15262 | |
(externalImage Door "http://upload.wikimedia.org/wikipedia/commons/6/61/ GeorgianischeTuer.JPG") | pictureList.kif 80-80 | |
(relatedInternalConcept Door VehicleDoor) | Mid-level-ontology.kif 29368-29368 | Door è interamente correlato a VehicleDoor |
(subclass Door Device) | Mid-level-ontology.kif 15255-15255 | Door è una sottoclasse di Dispositivo |
(subclass Door TransitwayObstacle) | Mid-level-ontology.kif 15254-15254 | Door è una sottoclasse di 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 |
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 25828-25840 | |
(=> (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 15236-15247 |
|
(=> (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 |