Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(subclass ElectricLightFixture LightFixture) Cars.kif 5060-5060 ElectricLightFixture ist eine teilkategorie von LightFixture
(subclass ElectricLightFixture ElectricDevice) Cars.kif 5061-5061 ElectricLightFixture ist eine teilkategorie von ElectricDevice
(subclass IncandescentLightFixture ElectricLightFixture) Cars.kif 5063-5063 IncandescentLightFixture ist eine teilkategorie von ElectricLightFixture
(subclass LEDLightFixture ElectricLightFixture) Cars.kif 5064-5064 LEDLightFixture ist eine teilkategorie von ElectricLightFixture
(subclass FluorescentLightFixture ElectricLightFixture) Cars.kif 5065-5065 FluorescentLightFixture ist eine teilkategorie von ElectricLightFixture
(subclass LightBulb ElectricLightFixture) Cars.kif 5067-5067 LightBulb ist eine teilkategorie von ElectricLightFixture


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