| RearWindow
| |
| appearance as argument number 1 |
|
|
| (documentation RearWindow EnglishLanguage "Any VehicleWindow which is located at the back of an RoadVehicle.") | Mid-level-ontology.kif 15174-15175 | |
| (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 15173-15173 | RearWindow は VehicleWindow の subclass では %n |
| appearance as argument number 2 |
|
|
| (disjoint Windshield RearWindow) | Mid-level-ontology.kif 3426-3426 | Windshield と RearWindow は disjoint では %n |
| (termFormat ChineseLanguage RearWindow "后窗") | domainEnglishFormat.kif 48950-48950 | |
| (termFormat ChineseTraditionalLanguage RearWindow "後窗") | domainEnglishFormat.kif 48949-48949 | |
| (termFormat EnglishLanguage RearWindow "rear window") | domainEnglishFormat.kif 48948-48948 |
| antecedent |
|
|
| (=> (instance ?W RearWindow) (exists (?A) (and (instance ?A RoadVehicle) (part ?W (BackFn ?A))))) |
Mid-level-ontology.kif 15177-15182 |
|
|
|
|