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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Headlight

Sigma KEE - Headlight
Headlight(headlight)
headlamp, headlight

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


(documentation Headlight EnglishLanguage "Any VehicleLight which is attached to the front of a Vehicle.") Mid-level-ontology.kif 3075-3076
(externalImage Headlight "http://upload.wikimedia.org/wikipedia/commons/ a/ a3/ Headlights_projector_reflector_optics.jpg") pictureList.kif 4719-4719
(subclass Headlight VehicleLight) Mid-level-ontology.kif 3074-3074 Headlight is a subclass of vehicle light

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


(termFormat ChineseLanguage Headlight "车灯") domainEnglishFormat.kif 27720-27720
(termFormat ChineseTraditionalLanguage Headlight "車燈") domainEnglishFormat.kif 27719-27719
(termFormat EnglishLanguage Headlight "headlight") domainEnglishFormat.kif 27718-27718

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


(=>
    (instance ?L Headlight)
    (exists (?V)
        (and
            (instance ?V Vehicle)
            (part ?L
                (FrontFn ?V)))))
Mid-level-ontology.kif 3078-3083


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