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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Headlight
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

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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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