|
|
   RearWindow
|
|
|
| appearance as argument number 1 |
|
|
| (documentation RearWindow EnglishLanguage "Any VehicleWindow which is located at the back of an RoadVehicle.") | Mid-level-ontology.kif 15072-15073 | |
| (externalImage RearWindow "http://upload.wikimedia.org/wikipedia/commons/ 4/ 45/ Humber_Hawk_Series_III_rear.jpg") | pictureList.kif 5076-5076 | |
| (externalImage RearWindow "http://upload.wikimedia.org/wikipedia/commons/ 9/ 92/ Austin_A40_MkII_Countryman_rear.jpg") | pictureList.kif 4940-4940 | |
| (externalImage RearWindow "http://upload.wikimedia.org/wikipedia/commons/ f/ f7/ Austin_A40_MkII_Countryman_tail.jpg") | pictureList.kif 5075-5075 | |
| (subclass RearWindow VehicleWindow) | Mid-level-ontology.kif 15071-15071 | 后窗 是 车窗 的 subclass |
| appearance as argument number 2 |
|
|
| (disjoint Windshield RearWindow) | Mid-level-ontology.kif 3426-3426 | 挡风玻璃 和 % 2 是 disjoint |
| (termFormat ChineseLanguage RearWindow "后窗") | domainEnglishFormat.kif 48959-48959 | |
| (termFormat ChineseTraditionalLanguage RearWindow "後窗") | domainEnglishFormat.kif 48958-48958 | |
| (termFormat EnglishLanguage RearWindow "rear window") | domainEnglishFormat.kif 48957-48957 |
| antecedent |
|
|
| (=> (instance ?W RearWindow) (exists (?A) (and (instance ?A RoadVehicle) (part ?W (BackFn ?A))))) |
Mid-level-ontology.kif 15075-15080 |
|
|
|
