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
AppleIPhone
MobileCellPhone
)
ComputingBrands.kif 627-627
IPhone
is a
subclass
of
mobile cell phone
(
subclass
AppleIPhone
AppleComputer
)
ComputingBrands.kif 628-628
IPhone
is a
subclass
of
Apple Computer
(
subclass
AppleIPhone1
AppleIPhone
)
ComputingBrands.kif 642-642
Apple iPhone
is a
subclass
of
iPhone
(
subclass
AppleIPhone3g
AppleIPhone
)
ComputingBrands.kif 643-643
Apple iPhone
is a
subclass
of
iPhone
(
subclass
AppleIPhone3GS
AppleIPhone
)
ComputingBrands.kif 644-644
Apple iPhone
is a
subclass
of
iPhone
(
subclass
AppleIPhone4
AppleIPhone
)
ComputingBrands.kif 645-645
Apple iPhone
is a
subclass
of
iPhone
(
subclass
AppleIPhone4s
AppleIPhone
)
ComputingBrands.kif 646-646
Apple iPhone
is a
subclass
of
iPhone
(
subclass
AppleIPhone5
AppleIPhone
)
ComputingBrands.kif 647-647
Apple iPhone
is a
subclass
of
iPhone
(
subclass
AppleIPhone5c
AppleIPhone
)
ComputingBrands.kif 648-648
Apple iPhone
is a
subclass
of
iPhone
(
subclass
AppleIPhone5s
AppleIPhone
)
ComputingBrands.kif 649-649
Apple iPhone
is a
subclass
of
iPhone
(
subclass
AppleIPhone6
AppleIPhone
)
ComputingBrands.kif 650-650
Apple iPhone
is a
subclass
of
iPhone
(
subclass
AppleIPhone6plus
AppleIPhone
)
ComputingBrands.kif 651-651
Apple iPhone
is a
subclass
of
iPhone
(
subclass
AppleIPhone6s
AppleIPhone
)
ComputingBrands.kif 652-652
Apple iPhone
is a
subclass
of
iPhone
(
subclass
AppleIPhone6splus
AppleIPhone
)
ComputingBrands.kif 653-653
Apple iPhone
is a
subclass
of
iPhone
(
subclass
AppleIPhonese
AppleIPhone
)
ComputingBrands.kif 654-654
Apple iPhone
is a
subclass
of
iPhone
(
subclass
AppleIPhone7
AppleIPhone
)
ComputingBrands.kif 655-655
Apple iPhone
is a
subclass
of
iPhone
(
subclass
AppleIPhone7plus
AppleIPhone
)
ComputingBrands.kif 656-656
Apple iPhone
is a
subclass
of
iPhone
(
subclass
AppleIPhone8
AppleIPhone
)
ComputingBrands.kif 657-657
Apple iPhone
is a
subclass
of
iPhone
(
subclass
AppleIPhone8plus
AppleIPhone
)
ComputingBrands.kif 658-658
Apple iPhone
is a
subclass
of
iPhone
(
subclass
AppleIPhoneX
AppleIPhone
)
ComputingBrands.kif 659-659
Apple iPhone
is a
subclass
of
iPhone
(
subclass
AppleIPhoneXS
AppleIPhone
)
ComputingBrands.kif 660-660
Apple iPhone
is a
subclass
of
iPhone
(
subclass
AppleIPhoneXSmax
AppleIPhone
)
ComputingBrands.kif 661-661
Apple iPhone
is a
subclass
of
iPhone
(
subclass
AppleIPhoneXR
AppleIPhone
)
ComputingBrands.kif 662-662
Apple iPhone
is a
subclass
of
iPhone
(
subclass
AppleIPhone11
AppleIPhone
)
ComputingBrands.kif 663-663
Apple iPhone
is a
subclass
of
iPhone
(
subclass
AppleIPhone11pro
AppleIPhone
)
ComputingBrands.kif 664-664
Apple iPhone
is a
subclass
of
iPhone
(
subclass
AppleIPhone11ProMax
AppleIPhone
)
ComputingBrands.kif 665-665
Apple iPhone
is a
subclass
of
iPhone
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
