| RearWindow(rear window)
| | rear_window |
| appearance as argument number 1 |
|
|
| (documentation RearWindow EnglishLanguage "Any VehicleWindow which is located at the back of an RoadVehicle.") | Mid-level-ontology.kif 15420-15421 | |
| (externalImage RearWindow "http://upload.wikimedia.org/wikipedia/commons/ 4/ 45/ Humber_Hawk_Series_III_rear.jpg") | pictureList.kif 5075-5075 | |
| (externalImage RearWindow "http://upload.wikimedia.org/wikipedia/commons/ 9/ 92/ Austin_A40_MkII_Countryman_rear.jpg") | pictureList.kif 4939-4939 | |
| (externalImage RearWindow "http://upload.wikimedia.org/wikipedia/commons/ f/ f7/ Austin_A40_MkII_Countryman_tail.jpg") | pictureList.kif 5074-5074 | |
| (subclass RearWindow VehicleWindow) | Mid-level-ontology.kif 15419-15419 | Rear window is a subclass of vehicle window |
| appearance as argument number 2 |
|
|
| (disjoint Windshield RearWindow) | Mid-level-ontology.kif 3447-3447 | Windshield is disjoint from rear window |
| (termFormat ChineseLanguage RearWindow "后窗") | domainEnglishFormat.kif 48978-48978 | Windshield is disjoint from rear window |
| (termFormat ChineseTraditionalLanguage RearWindow "後窗") | domainEnglishFormat.kif 48977-48977 | Windshield is disjoint from rear window |
| (termFormat EnglishLanguage RearWindow "rear window") | domainEnglishFormat.kif 48976-48976 | Windshield is disjoint from rear window |
| antecedent |
|
|
| (=> (instance ?W RearWindow) (exists (?A) (and (instance ?A RoadVehicle) (part ?W (BackFn ?A))))) |
Mid-level-ontology.kif 15423-15428 |
|
|
|
|