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 3509-3510 | |
(externalImage VehicleWindow "http://upload.wikimedia.org/wikipedia/commons/ 2/ 26/ 1993_Grand_Cherokee_rear_door_quarter_window.jpg") | pictureList.kif 4946-4946 | |
(subclass VehicleWindow Window) | Mid-level-ontology.kif 3508-3508 | Vehicle window is a subclass of window |
appearance as argument number 2 |
![]() |
(subclass RearWindow VehicleWindow) | Mid-level-ontology.kif 16129-16129 | Rear window is a subclass of vehicle window |
(subclass Windshield VehicleWindow) | Mid-level-ontology.kif 3519-3519 | Windshield is a subclass of vehicle window |
(termFormat ChineseLanguage VehicleWindow "车窗") | domainEnglishFormat.kif 61435-61435 | Windshield is a subclass of vehicle window |
(termFormat ChineseTraditionalLanguage VehicleWindow "車窗") | domainEnglishFormat.kif 61434-61434 | Windshield is a subclass of vehicle window |
(termFormat EnglishLanguage VehicleWindow "vehicle window") | domainEnglishFormat.kif 61433-61433 | Windshield is a subclass of vehicle window |
antecedent |
![]() |
(=> (instance ?W VehicleWindow) (exists (?V) (and (instance ?V Vehicle) (part ?W ?V)))) |
Mid-level-ontology.kif 3512-3517 |
|
![]() |
![]() |