| 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 16130-16131 | |
| (externalImage RearWindow "http://upload.wikimedia.org/wikipedia/commons/ 4/ 45/ Humber_Hawk_Series_III_rear.jpg") | pictureList.kif 5074-5074 | |
| (externalImage RearWindow "http://upload.wikimedia.org/wikipedia/commons/ 9/ 92/ Austin_A40_MkII_Countryman_rear.jpg") | pictureList.kif 4938-4938 | |
| (externalImage RearWindow "http://upload.wikimedia.org/wikipedia/commons/ f/ f7/ Austin_A40_MkII_Countryman_tail.jpg") | pictureList.kif 5073-5073 | |
| (subclass RearWindow VehicleWindow) | Mid-level-ontology.kif 16129-16129 | Rear window is a subclass of vehicle window |
| appearance as argument number 2 |
|
|
| (disjoint Windshield RearWindow) | Mid-level-ontology.kif 3520-3520 | Windshield is disjoint from rear window |
| (termFormat ChineseLanguage RearWindow "后窗") | domainEnglishFormat.kif 48971-48971 | Windshield is disjoint from rear window |
| (termFormat ChineseTraditionalLanguage RearWindow "後窗") | domainEnglishFormat.kif 48970-48970 | Windshield is disjoint from rear window |
| (termFormat EnglishLanguage RearWindow "rear window") | domainEnglishFormat.kif 48969-48969 | Windshield is disjoint from rear window |
| antecedent |
|
|
| (=> (instance ?W RearWindow) (exists (?A) (and (instance ?A RoadVehicle) (part ?W (BackFn ?A))))) |
Mid-level-ontology.kif 16133-16138 |
|
|
|
|