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

Formal Language: 



Term 1: Term 2:

(subclass TelevisionReceiver ReceiverDevice) Communications.kif 380-380 TelevisionReceiver ist eine teilkategorie von ReceiverDevice
(subclass TelevisionReceiver EngineeringComponent) Communications.kif 381-381 TelevisionReceiver ist eine teilkategorie von EngineeringComponent
(subclass AppleTV TelevisionReceiver) ComputingBrands.kif 2097-2097 AppleTV ist eine teilkategorie von TelevisionReceiver


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