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

Formal Language: 



KB Term:  Term intersection
English Word: 

  VehicleLight

Sigma KEE - VehicleLight
VehicleLight

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 VehicleLight est une sous-classe de LightFixture

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3074-3074 Headlight est une sous-classe de VehicleLight
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3085-3085 Taillight est une sous-classe de VehicleLight
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