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