VehicleWindow - Sigma Knowledge base Browser

appearance as argument number 1

(subclass VehicleWindow Window)	Mid-level-ontology.kif 4069-4069	Vehicle window is a subclass of window
(documentation VehicleWindow EnglishLanguage "Any Window which is part of a Vehicle, e.g. the Windshield and RearWindow of an Automobile.")	Mid-level-ontology.kif 4070-4071	Vehicle window is a subclass of window
(externalImage VehicleWindow "http://upload.wikimedia.org/wikipedia/commons/ 2/ 26/ 1993_Grand_Cherokee_rear_door_quarter_window.jpg")	pictureList.kif 4946-4946	Vehicle window is a subclass of window

appearance as argument number 2

(subclass Windshield VehicleWindow)	Mid-level-ontology.kif 4080-4080	Windshield is a subclass of vehicle window
(subclass RearWindow VehicleWindow)	Mid-level-ontology.kif 16776-16776	Rear window is a subclass of vehicle window
(termFormat EnglishLanguage VehicleWindow "vehicle window")	domainEnglishFormat.kif 61413-61413	Rear window is a subclass of vehicle window
(termFormat ChineseTraditionalLanguage VehicleWindow "車窗")	domainEnglishFormat.kif 61414-61414	Rear window is a subclass of vehicle window
(termFormat ChineseLanguage VehicleWindow "车窗")	domainEnglishFormat.kif 61415-61415	Rear window is a subclass of vehicle window

antecedent

(=>
    (instance ?W VehicleWindow)
    (exists (?V)
        (and
            (instance ?V Vehicle)
            (part ?W ?V))))

If X is an instance of vehicle window, then there exists Y such that Y is an instance of vehicle and X is a part of Y