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
AppleComputer
Computer
)
ComputingBrands.kif 101-101
AppleComputer
是
电脑
的
subclass
(
subclass
AppleMacintoshComputer
AppleComputer
)
ComputingBrands.kif 105-105
麦金塔计算机
是
AppleComputer
的
subclass
(
subclass
AppleIPad
AppleComputer
)
ComputingBrands.kif 613-613
IPad
是
AppleComputer
的
subclass
(
subclass
AppleIPhone
AppleComputer
)
ComputingBrands.kif 628-628
IPhone
是
AppleComputer
的
subclass
(
subclass
AppleIMac
AppleComputer
)
ComputingBrands.kif 745-745
IMac
是
AppleComputer
的
subclass
(
subclass
AppleMacPro
AppleComputer
)
ComputingBrands.kif 757-757
Mac Pro
是
AppleComputer
的
subclass
(
subclass
AppleMacBookPro
AppleComputer
)
ComputingBrands.kif 771-771
Macbook Pro
是
AppleComputer
的
subclass
(
subclass
AppleMacBookAir
AppleComputer
)
ComputingBrands.kif 786-786
Macbook Air
是
AppleComputer
的
subclass
(
subclass
AppleMacBook
AppleComputer
)
ComputingBrands.kif 801-801
Macbook
是
AppleComputer
的
subclass
(
subclass
AppleIPod
AppleComputer
)
ComputingBrands.kif 816-816
IPod
是
AppleComputer
的
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