Windshield - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Windshield VehicleWindow)	Mid-level-ontology.kif 4080-4080	Windshield is a subclass of vehicle window
(disjoint Windshield RearWindow)	Mid-level-ontology.kif 4081-4081	Windshield is disjoint from rear window
(documentation Windshield EnglishLanguage "Any VehicleWindow which located at the front of a RoadVehicle.")	Mid-level-ontology.kif 4082-4083	Windshield is disjoint from rear window
(externalImage Windshield "http://upload.wikimedia.org/wikipedia/commons/ 0/ 07/ Black_E61_M5_%282%29.jpg")	pictureList.kif 4948-4948	Windshield is disjoint from rear window

appearance as argument number 2

(subclass LaminatedWindshield Windshield)	Cars.kif 3118-3118	Windshield is a subclass of windshield
(termFormat EnglishLanguage Windshield "windshield")	domainEnglishFormat.kif 63142-63142	Windshield is a subclass of windshield
(termFormat ChineseTraditionalLanguage Windshield "擋風玻璃")	domainEnglishFormat.kif 63143-63143	Windshield is a subclass of windshield
(termFormat ChineseLanguage Windshield "挡风玻璃")	domainEnglishFormat.kif 63144-63144	Windshield is a subclass of windshield

antecedent

(=>
    (instance ?W Windshield)
    (exists (?A)
        (and
            (instance ?A RoadVehicle)
            (part ?W
                (FrontFn ?A)))))

If X is an instance of windshield, then there exists Y such that Y is an instance of road vehicle and X is a part of the front of Y