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:
(=>
(
and
(
subclass
?OS
WindowsOS
)
(
instance
?INST ?OS))
(
creator
MicrosoftCorporation
?INST))
ComputingBrands.kif 62-66
Classe
è una
sottoclasse
di
WindowsOS
Entit�
è un'
istanza
di
Classe
creator
MicrosoftCorporation
and
Entit�
(
subclass
WindowsOS
OperatingSystem
)
ComputingBrands.kif 60-60
WindowsOS
è una
sottoclasse
di
OperatingSystem
(
subclass
WindowsOS1
WindowsOS
)
ComputingBrands.kif 1006-1006
WindowsOS1
è una
sottoclasse
di
WindowsOS
(
subclass
WindowsOS2
WindowsOS
)
ComputingBrands.kif 1017-1017
WindowsOS2
è una
sottoclasse
di
WindowsOS
(
subclass
WindowsOS3
WindowsOS
)
ComputingBrands.kif 1028-1028
WindowsOS3
è una
sottoclasse
di
WindowsOS
(
subclass
WindowsOS95
WindowsOS
)
ComputingBrands.kif 1040-1040
WindowsOS95
è una
sottoclasse
di
WindowsOS
(
subclass
Windows98
WindowsOS
)
ComputingBrands.kif 1051-1051
Windows98
è una
sottoclasse
di
WindowsOS
(
subclass
WindowsME
WindowsOS
)
ComputingBrands.kif 1062-1062
WindowsME
è una
sottoclasse
di
WindowsOS
(
subclass
WindowsXP
WindowsOS
)
ComputingBrands.kif 1073-1073
WindowsXP
è una
sottoclasse
di
WindowsOS
(
subclass
WindowsVista
WindowsOS
)
ComputingBrands.kif 1084-1084
WindowsVista
è una
sottoclasse
di
WindowsOS
(
subclass
Windows7
WindowsOS
)
ComputingBrands.kif 1095-1095
Windows7
è una
sottoclasse
di
WindowsOS
(
subclass
Windows8
WindowsOS
)
ComputingBrands.kif 1106-1106
Windows8
è una
sottoclasse
di
WindowsOS
(
subclass
Windows8_1
WindowsOS
)
ComputingBrands.kif 1117-1117
Windows8_1
è una
sottoclasse
di
WindowsOS
(
subclass
Windows10
WindowsOS
)
ComputingBrands.kif 1128-1128
Windows10
è una
sottoclasse
di
WindowsOS
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