Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Windshield

Sigma KEE - Windshield
Windshield

appearance as argument number 1
-------------------------


(disjoint Windshield RearWindow) Mid-level-ontology.kif 3454-3454 Windshield est disjoint de RearWindow
(documentation Windshield EnglishLanguage "Any VehicleWindow which located at the front of a RoadVehicle.") Mid-level-ontology.kif 3455-3456
(externalImage Windshield "http://upload.wikimedia.org/wikipedia/commons/ 0/ 07/ Black_E61_M5_%282%29.jpg") pictureList.kif 4949-4949
(subclass Windshield VehicleWindow) Mid-level-ontology.kif 3453-3453 Windshield est une sous-classe de VehicleWindow

appearance as argument number 2
-------------------------


(subclass LaminatedWindshield Windshield) Cars.kif 3228-3228 LaminatedWindshield est une sous-classe de Windshield
(termFormat ChineseLanguage Windshield "挡风玻璃") domainEnglishFormat.kif 63141-63141
(termFormat ChineseTraditionalLanguage Windshield "擋風玻璃") domainEnglishFormat.kif 63140-63140
(termFormat EnglishLanguage Windshield "windshield") domainEnglishFormat.kif 63139-63139

antecedent
-------------------------


(=>
    (instance ?W Windshield)
    (exists (?A)
        (and
            (instance ?A RoadVehicle)
            (part ?W
                (FrontFn ?A)))))
Mid-level-ontology.kif 3458-3463


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners