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

Formal Language: 



KB Term:  Term intersection
English Word: 

  VehicleLight

Sigma KEE - VehicleLight
VehicleLight(vehicle light)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3063-3065
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3062-3062 Vehicle light is a subclass of light fixture

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3074-3074 Headlight is a subclass of vehicle light
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3085-3085 Taillight is a subclass of vehicle light
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61382-61382
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61381-61381
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61380-61380

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3067-3072


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