VehicleDoor
|
|
appearance as argument number 1 |
(documentation VehicleDoor EnglishLanguage "An equivalent to a Door but in a Vehicle, rather than a StationaryObject.") | Mid-level-ontology.kif 29378-29379 | |
(subclass VehicleDoor Device) | Mid-level-ontology.kif 29377-29377 | |
(typicalPart VehicleDoor Automobile) | Mid-level-ontology.kif 29410-29410 |
appearance as argument number 2 |
(relatedInternalConcept Door VehicleDoor) | Mid-level-ontology.kif 29380-29380 | |
(termFormat EnglishLanguage VehicleDoor "vehicle door") | domainEnglishFormat.kif 65686-65686 |
antecedent |
(=> (and (instance ?VD VehicleDoor) (attribute ?VD DeviceNormal)) (and (capability Opening patient ?VD) (capability Closing patient ?VD))) |
Mid-level-ontology.kif 29402-29408 | |
(=> (instance ?VD VehicleDoor) (hasPurpose ?VD (exists (?C) (and (instance ?C Closing) (patient ?C ?VD))))) |
Mid-level-ontology.kif 29394-29400 | |
(=> (instance ?VD VehicleDoor) (hasPurpose ?VD (exists (?O) (and (instance ?O Opening) (patient ?O ?VD))))) |
Mid-level-ontology.kif 29386-29392 |