|
|
   RearWindow
|
|
|
| appearance as argument number 1 |
|
|
| (documentation RearWindow EnglishLanguage "Any VehicleWindow which is located at the back of an RoadVehicle.") | Mid-level-ontology.kif 15229-15230 | |
| (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 15228-15228 |
| appearance as argument number 2 |
|
|
| (disjoint Windshield RearWindow) | Mid-level-ontology.kif 3447-3447 | |
| (termFormat ChineseLanguage RearWindow "后窗") | domainEnglishFormat.kif 48940-48940 | |
| (termFormat ChineseTraditionalLanguage RearWindow "後窗") | domainEnglishFormat.kif 48939-48939 | |
| (termFormat EnglishLanguage RearWindow "rear window") | domainEnglishFormat.kif 48938-48938 |
| antecedent |
|
|
| (=> (instance ?W RearWindow) (exists (?A) (and (instance ?A RoadVehicle) (part ?W (BackFn ?A))))) |
Mid-level-ontology.kif 15232-15237 |
|
|
|
