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
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3075-3076
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4719-4719
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3074-3074 Headlight is a subclass of vehicle light

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27720-27720
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27719-27719
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27718-27718

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


No TPTP formula. May not be expressible in strict first order. 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