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
如果
类
是
WindowsOS
的
subclass
和
实体
是
那个 类
的
instance
,
然后
微软
created
那个 实体
(
subclass
WindowsOS
OperatingSystem
)
ComputingBrands.kif 60-60
WindowsOS
是
操作系统
的
subclass
(
subclass
WindowsOS1
WindowsOS
)
ComputingBrands.kif 1006-1006
Windows 1.0
是
WindowsOS
的
subclass
(
subclass
WindowsOS2
WindowsOS
)
ComputingBrands.kif 1017-1017
Windows 2.0
是
WindowsOS
的
subclass
(
subclass
WindowsOS3
WindowsOS
)
ComputingBrands.kif 1028-1028
Windows 3
是
WindowsOS
的
subclass
(
subclass
WindowsOS95
WindowsOS
)
ComputingBrands.kif 1040-1040
Windows 95
是
WindowsOS
的
subclass
(
subclass
Windows98
WindowsOS
)
ComputingBrands.kif 1051-1051
Windows 98
是
WindowsOS
的
subclass
(
subclass
WindowsME
WindowsOS
)
ComputingBrands.kif 1062-1062
Windows ME
是
WindowsOS
的
subclass
(
subclass
WindowsXP
WindowsOS
)
ComputingBrands.kif 1073-1073
Windows XP
是
WindowsOS
的
subclass
(
subclass
WindowsVista
WindowsOS
)
ComputingBrands.kif 1084-1084
Windows Vista
是
WindowsOS
的
subclass
(
subclass
Windows7
WindowsOS
)
ComputingBrands.kif 1095-1095
Windows 7
是
WindowsOS
的
subclass
(
subclass
Windows8
WindowsOS
)
ComputingBrands.kif 1106-1106
Windows 8
是
WindowsOS
的
subclass
(
subclass
Windows8_1
WindowsOS
)
ComputingBrands.kif 1117-1117
Windows 8.1
是
WindowsOS
的
subclass
(
subclass
Windows10
WindowsOS
)
ComputingBrands.kif 1128-1128
Windows 10
是
WindowsOS
的
subclass
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