VehicleWindow(vehicle window) | car_window, window |
appearance as argument number 1 |
(documentation VehicleWindow EnglishLanguage "Any Window which is part of a Vehicle, e.g. the Windshield and RearWindow of an Automobile.") | Mid-level-ontology.kif 3436-3437 | |
(externalImage VehicleWindow "http://upload.wikimedia.org/wikipedia/commons/ 2/ 26/ 1993_Grand_Cherokee_rear_door_quarter_window.jpg") | pictureList.kif 4947-4947 | |
(subclass VehicleWindow Window) | Mid-level-ontology.kif 3435-3435 | Vehicle window is a subclass of window |
appearance as argument number 2 |
(subclass RearWindow VehicleWindow) | Mid-level-ontology.kif 15419-15419 | Rear window is a subclass of vehicle window |
(subclass Windshield VehicleWindow) | Mid-level-ontology.kif 3446-3446 | Windshield is a subclass of vehicle window |
(termFormat ChineseLanguage VehicleWindow "车窗") | domainEnglishFormat.kif 61460-61460 | Windshield is a subclass of vehicle window |
(termFormat ChineseTraditionalLanguage VehicleWindow "車窗") | domainEnglishFormat.kif 61459-61459 | Windshield is a subclass of vehicle window |
(termFormat EnglishLanguage VehicleWindow "vehicle window") | domainEnglishFormat.kif 61458-61458 | Windshield is a subclass of vehicle window |
antecedent |
(=> (instance ?W VehicleWindow) (exists (?V) (and (instance ?V Vehicle) (part ?W ?V)))) |
Mid-level-ontology.kif 3439-3444 |
|