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

Formal Language: 



Term 1: Term 2:

(subclass OperatingSystem SoftwareSystem) QoSontology.kif 994-994 OperatingSystem è una sottoclasse di SoftwareSystem
(subclass Solaris OperatingSystem) QoSontology.kif 1008-1008 Solaris è una sottoclasse di OperatingSystem
(subclass BerkeleySoftwareDistribution OperatingSystem) QoSontology.kif 2159-2159 BerkeleySoftwareDistribution è una sottoclasse di OperatingSystem
(subclass MacOS OperatingSystem) Media.kif 1542-1542 MacOS è una sottoclasse di OperatingSystem
(subclass MicrosoftWindows OperatingSystem) Media.kif 1547-1547 MicrosoftWindows è una sottoclasse di OperatingSystem
(subclass SymbianOS OperatingSystem) Media.kif 1552-1552 SymbianOS è una sottoclasse di OperatingSystem
(subclass WindowsOS OperatingSystem) ComputingBrands.kif 60-60 WindowsOS è una sottoclasse di OperatingSystem
(subclass PhoneOS OperatingSystem) ComputingBrands.kif 90-90 PhoneOS è una sottoclasse di OperatingSystem
(subclass AppleMacOS OperatingSystem) ComputingBrands.kif 209-209 AppleMacOS è una sottoclasse di 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