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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - Windshield

appearance as argument number 1

(disjoint Windshield RearWindow) Mid-level-ontology.kif 3406-3406
(documentation Windshield EnglishLanguage "Any VehicleWindow which located at the front of a RoadVehicle.") Mid-level-ontology.kif 3407-3408
(externalImage Windshield " 0/ 07/ Black_E61_M5_%282%29.jpg") pictureList.kif 4950-4950
(subclass Windshield VehicleWindow) Mid-level-ontology.kif 3405-3405

appearance as argument number 2

(subclass LaminatedWindshield Windshield) Cars.kif 3228-3228
(termFormat ChineseLanguage Windshield "挡风玻璃") domainEnglishFormat.kif 63108-63108
(termFormat ChineseTraditionalLanguage Windshield "擋風玻璃") domainEnglishFormat.kif 63107-63107
(termFormat EnglishLanguage Windshield "windshield") domainEnglishFormat.kif 63106-63106


    (instance ?W Windshield)
    (exists (?A)
            (instance ?A RoadVehicle)
            (part ?W
                (FrontFn ?A)))))
Mid-level-ontology.kif 3410-3415

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