| 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 29694-29695 | |
| (subclass VehicleDoor Device) | Mid-level-ontology.kif 29693-29693 | |
| (typicalPart VehicleDoor Automobile) | Mid-level-ontology.kif 29726-29726 |
| appearance as argument number 2 |
|
|
| (relatedInternalConcept Door VehicleDoor) | Mid-level-ontology.kif 29696-29696 | |
| (termFormat EnglishLanguage VehicleDoor "vehicle door") | domainEnglishFormat.kif 65711-65711 |
| antecedent |
|
|
| (=> (and (instance ?VD VehicleDoor) (attribute ?VD DeviceNormal)) (and (capability Opening patient ?VD) (capability Closing patient ?VD))) |
Mid-level-ontology.kif 29718-29724 | |
| (=> (instance ?VD VehicleDoor) (hasPurpose ?VD (exists (?C) (and (instance ?C Closing) (patient ?C ?VD))))) |
Mid-level-ontology.kif 29710-29716 | |
| (=> (instance ?VD VehicleDoor) (hasPurpose ?VD (exists (?O) (and (instance ?O Opening) (patient ?O ?VD))))) |
Mid-level-ontology.kif 29702-29708 |
|
|
|