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
Apple Computer
is a
subclass
of
computer
(
subclass
AppleMacintoshComputer
AppleComputer
)
ComputingBrands.kif 105-105
Mac
is a
subclass
of
Apple Computer
(
subclass
AppleIPad
AppleComputer
)
ComputingBrands.kif 613-613
IPad
is a
subclass
of
Apple Computer
(
subclass
AppleIPhone
AppleComputer
)
ComputingBrands.kif 628-628
IPhone
is a
subclass
of
Apple Computer
(
subclass
AppleIMac
AppleComputer
)
ComputingBrands.kif 745-745
IMac
is a
subclass
of
Apple Computer
(
subclass
AppleMacPro
AppleComputer
)
ComputingBrands.kif 757-757
Mac Pro
is a
subclass
of
Apple Computer
(
subclass
AppleMacBookPro
AppleComputer
)
ComputingBrands.kif 771-771
Macbook Pro
is a
subclass
of
Apple Computer
(
subclass
AppleMacBookAir
AppleComputer
)
ComputingBrands.kif 786-786
Macbook Air
is a
subclass
of
Apple Computer
(
subclass
AppleMacBook
AppleComputer
)
ComputingBrands.kif 801-801
Macbook
is a
subclass
of
Apple Computer
(
subclass
AppleIPod
AppleComputer
)
ComputingBrands.kif 816-816
IPod
is a
subclass
of
Apple Computer
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