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 3447-3447 不相交的 擋風玻璃 and 後窗
(documentation Windshield EnglishLanguage "Any VehicleWindow which located at the front of a RoadVehicle.") Mid-level-ontology.kif 3448-3449
(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 3446-3446 子類 擋風玻璃 and 車窗

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


(subclass LaminatedWindshield Windshield) Cars.kif 3213-3213 子類 LaminatedWindshield and 擋風玻璃
(termFormat ChineseLanguage Windshield "挡风玻璃") domainEnglishFormat.kif 63143-63143
(termFormat ChineseTraditionalLanguage Windshield "擋風玻璃") domainEnglishFormat.kif 63142-63142
(termFormat EnglishLanguage Windshield "windshield") domainEnglishFormat.kif 63141-63141

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


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


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