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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ElectricLightFixture
ElectricLightFixture

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


s__instance(s__ElectricLightFixture,s__SetOrClass)

s__subclass(s__ElectricLightFixture,s__ElectricDevice)

s__instance(s__ElectricDevice,s__SetOrClass)

Cars.kif 5086-5086 ElectricLightFixture is a subclass of electric device
s__subclass(s__ElectricLightFixture,s__LightFixture)

s__instance(s__ElectricLightFixture,s__SetOrClass)

s__instance(s__LightFixture,s__SetOrClass)

Cars.kif 5085-5085 ElectricLightFixture is a subclass of light fixture

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


s__subclass(s__FluorescentLightFixture,s__ElectricLightFixture)

s__instance(s__FluorescentLightFixture,s__SetOrClass)

s__instance(s__ElectricLightFixture,s__SetOrClass)

Cars.kif 5090-5090 FluorescentLightFixture is a subclass of ElectricLightFixture
s__instance(s__ElectricLightFixture,s__SetOrClass)

s__instance(s__IncandescentLightFixture,s__SetOrClass)

s__subclass(s__IncandescentLightFixture,s__ElectricLightFixture)

Cars.kif 5088-5088 IncandescentLightFixture is a subclass of ElectricLightFixture
s__subclass(s__LEDLightFixture,s__ElectricLightFixture)

s__instance(s__ElectricLightFixture,s__SetOrClass)

s__instance(s__LEDLightFixture,s__SetOrClass)

Cars.kif 5089-5089 LEDLightFixture is a subclass of ElectricLightFixture
s__instance(s__LightBulb,s__SetOrClass)

s__subclass(s__LightBulb,s__ElectricLightFixture)

s__instance(s__ElectricLightFixture,s__SetOrClass)

Cars.kif 5092-5092 Light bulb is a subclass of ElectricLightFixture


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