Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| VehicleDoor(vehicle door) |  | car_door, hatchback, hatchback_door |
| appearance as argument number 1 |
|
|
| (subclass VehicleDoor Device) | Mid-level-ontology.kif 32003-32003 | Vehicle door is a subclass of device |
| (documentation VehicleDoor EnglishLanguage "An equivalent to a Door but in a Vehicle, rather than a StationaryObject.") | Mid-level-ontology.kif 32004-32005 | Vehicle door is a subclass of device |
| (typicalPart VehicleDoor Automobile) | Transportation.kif 2112-2112 | A vehicle door is typically a part of a automobile |
| appearance as argument number 2 |
|
|
| (relatedInternalConcept Door VehicleDoor) | Mid-level-ontology.kif 32006-32006 | Door is internally related to vehicle door |
| (termFormat EnglishLanguage VehicleDoor "vehicle door") | domainEnglishFormat.kif 65689-65689 | Door is internally related to vehicle door |
| antecedent |
|
|
| (=> (instance ?VD VehicleDoor) (hasPurpose ?VD (exists (?O) (and (instance ?O Opening) (patient ?O ?VD))))) |
Mid-level-ontology.kif 32012-32018 | If X is an instance of vehicle door, then X has the purpose there exists Y such that Y is an instance of opening and X is a patient of Y |
| (=> (instance ?VD VehicleDoor) (hasPurpose ?VD (exists (?C) (and (instance ?C Closing) (patient ?C ?VD))))) |
Mid-level-ontology.kif 32020-32026 | If X is an instance of vehicle door, then X has the purpose there exists Y such that Y is an instance of closing and X is a patient of Y |
| (=> (and (instance ?VD VehicleDoor) (attribute ?VD DeviceNormal)) (and (capability Opening patient ?VD) (capability Closing patient ?VD))) |
Mid-level-ontology.kif 32028-32034 | If X is an instance of vehicle door and device normal is an attribute of X, then X is capable of doing opening as a patient and X is capable of doing closing as a patient |
|