Term Intersection
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
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