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
and
移動手機
(
subclass
AppleIPhone
AppleComputer
)
ComputingBrands.kif 628-628
子類
iPhone
and
AppleComputer
(
subclass
AppleIPhone1
AppleIPhone
)
ComputingBrands.kif 642-642
子類
AppleIPhone1
and
iPhone
(
subclass
AppleIPhone3g
AppleIPhone
)
ComputingBrands.kif 643-643
子類
AppleIPhone3g
and
iPhone
(
subclass
AppleIPhone3GS
AppleIPhone
)
ComputingBrands.kif 644-644
子類
AppleIPhone3GS
and
iPhone
(
subclass
AppleIPhone4
AppleIPhone
)
ComputingBrands.kif 645-645
子類
AppleIPhone4
and
iPhone
(
subclass
AppleIPhone4s
AppleIPhone
)
ComputingBrands.kif 646-646
子類
AppleIPhone4s
and
iPhone
(
subclass
AppleIPhone5
AppleIPhone
)
ComputingBrands.kif 647-647
子類
AppleIPhone5
and
iPhone
(
subclass
AppleIPhone5c
AppleIPhone
)
ComputingBrands.kif 648-648
子類
AppleIPhone5c
and
iPhone
(
subclass
AppleIPhone5s
AppleIPhone
)
ComputingBrands.kif 649-649
子類
AppleIPhone5s
and
iPhone
(
subclass
AppleIPhone6
AppleIPhone
)
ComputingBrands.kif 650-650
子類
AppleIPhone6
and
iPhone
(
subclass
AppleIPhone6plus
AppleIPhone
)
ComputingBrands.kif 651-651
子類
AppleIPhone6plus
and
iPhone
(
subclass
AppleIPhone6s
AppleIPhone
)
ComputingBrands.kif 652-652
子類
AppleIPhone6s
and
iPhone
(
subclass
AppleIPhone6splus
AppleIPhone
)
ComputingBrands.kif 653-653
子類
AppleIPhone6splus
and
iPhone
(
subclass
AppleIPhonese
AppleIPhone
)
ComputingBrands.kif 654-654
子類
AppleIPhonese
and
iPhone
(
subclass
AppleIPhone7
AppleIPhone
)
ComputingBrands.kif 655-655
子類
AppleIPhone7
and
iPhone
(
subclass
AppleIPhone7plus
AppleIPhone
)
ComputingBrands.kif 656-656
子類
AppleIPhone7plus
and
iPhone
(
subclass
AppleIPhone8
AppleIPhone
)
ComputingBrands.kif 657-657
子類
AppleIPhone8
and
iPhone
(
subclass
AppleIPhone8plus
AppleIPhone
)
ComputingBrands.kif 658-658
子類
AppleIPhone8plus
and
iPhone
(
subclass
AppleIPhoneX
AppleIPhone
)
ComputingBrands.kif 659-659
子類
AppleIPhoneX
and
iPhone
(
subclass
AppleIPhoneXS
AppleIPhone
)
ComputingBrands.kif 660-660
子類
AppleIPhoneXS
and
iPhone
(
subclass
AppleIPhoneXSmax
AppleIPhone
)
ComputingBrands.kif 661-661
子類
AppleIPhoneXSmax
and
iPhone
(
subclass
AppleIPhoneXR
AppleIPhone
)
ComputingBrands.kif 662-662
子類
AppleIPhoneXR
and
iPhone
(
subclass
AppleIPhone11
AppleIPhone
)
ComputingBrands.kif 663-663
子類
AppleIPhone11
and
iPhone
(
subclass
AppleIPhone11pro
AppleIPhone
)
ComputingBrands.kif 664-664
子類
AppleIPhone11pro
and
iPhone
(
subclass
AppleIPhone11ProMax
AppleIPhone
)
ComputingBrands.kif 665-665
子類
AppleIPhone11ProMax
and
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