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

Formal Language: 



Term 1: Term 2:

(subclass OperatingSystem SoftwareSystem) QoSontology.kif 994-994 OperatingSystem ist eine teilkategorie von SoftwareSystem
(subclass Solaris OperatingSystem) QoSontology.kif 1008-1008 Solaris ist eine teilkategorie von OperatingSystem
(subclass BerkeleySoftwareDistribution OperatingSystem) QoSontology.kif 2159-2159 BerkeleySoftwareDistribution ist eine teilkategorie von OperatingSystem
(subclass MacOS OperatingSystem) Media.kif 1542-1542 MacOS ist eine teilkategorie von OperatingSystem
(subclass MicrosoftWindows OperatingSystem) Media.kif 1547-1547 MicrosoftWindows ist eine teilkategorie von OperatingSystem
(subclass SymbianOS OperatingSystem) Media.kif 1552-1552 SymbianOS ist eine teilkategorie von OperatingSystem
(subclass WindowsOS OperatingSystem) ComputingBrands.kif 60-60 WindowsOS ist eine teilkategorie von OperatingSystem
(subclass PhoneOS OperatingSystem) ComputingBrands.kif 90-90 PhoneOS ist eine teilkategorie von OperatingSystem
(subclass AppleMacOS OperatingSystem) ComputingBrands.kif 209-209 AppleMacOS ist eine teilkategorie von OperatingSystem


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