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:
(=>
(
groupingTitle
?STRING ?PRODUCTTYPE ?LANGUAGE)
(
subclass
?PRODUCTTYPE
Collection
))
Media.kif 3203-3205
Wenn
groupingTitle
SymbolicString
,
Class
and
Language
,
dann
** Class
ist eine
teilkategorie
von
Collection
(
subclass
Collection
Object
)
Merge.kif 1261-1261
Collection
ist eine
teilkategorie
von
Object
(
subclass
MonoploidChromosomeSet
Collection
)
VirusProteinAndCellPart.kif 713-713
MonoploidChromosomeSet
ist eine
teilkategorie
von
Collection
(
subclass
HomologousChromosomeSet
Collection
)
VirusProteinAndCellPart.kif 859-859
HomologousChromosomeSet
ist eine
teilkategorie
von
Collection
(
subclass
GolgiApparatus
Collection
)
VirusProteinAndCellPart.kif 1057-1057
GolgiApparatus
ist eine
teilkategorie
von
Collection
(
subclass
WebListingCategory
Collection
)
UXExperimentalTerms.kif 133-133
WebListingCategory
ist eine
teilkategorie
von
Collection
(
subclass
VisitorProfile
Collection
)
UXExperimentalTerms.kif 1126-1126
VisitorProfile
ist eine
teilkategorie
von
Collection
(
subclass
WebStore
Collection
)
UXExperimentalTerms.kif 2119-2119
WebStore
ist eine
teilkategorie
von
Collection
(
subclass
MultivariateTest
Collection
)
UXExperimentalTerms.kif 4486-4486
MultivariateTest
ist eine
teilkategorie
von
Collection
(
subclass
MerchantMarine
Collection
)
Transportation.kif 957-957
MerchantMarine
ist eine
teilkategorie
von
Collection
(
subclass
Train
Collection
)
Transportation.kif 2049-2049
Train
ist eine
teilkategorie
von
Collection
(
subclass
Discography
Collection
)
Music.kif 60-60
Discography
ist eine
teilkategorie
von
Collection
(
subclass
Script
Collection
)
Mid-level-ontology.kif 669-669
Script
ist eine
teilkategorie
von
Collection
(
subclass
Fleet
Collection
)
Mid-level-ontology.kif 3512-3512
Fleet
ist eine
teilkategorie
von
Collection
(
subclass
ClothingSuit
Collection
)
Mid-level-ontology.kif 5302-5302
ClothingSuit
ist eine
teilkategorie
von
Collection
(
subclass
CommunicationSystem
Collection
)
Mid-level-ontology.kif 7619-7619
CommunicationSystem
ist eine
teilkategorie
von
Collection
(
subclass
Skull
Collection
)
Mid-level-ontology.kif 11480-11480
Skull
ist eine
teilkategorie
von
Collection
(
subclass
MediaSystem
Collection
)
Mid-level-ontology.kif 14449-14449
MediaSystem
ist eine
teilkategorie
von
Collection
(
subclass
Industry
Collection
)
Mid-level-ontology.kif 15010-15010
Industry
ist eine
teilkategorie
von
Collection
(
subclass
Convoy
Collection
)
Mid-level-ontology.kif 22323-22323
Convoy
ist eine
teilkategorie
von
Collection
(
subclass
FireSprinklerSystem
Collection
)
Mid-level-ontology.kif 25452-25452
FireSprinklerSystem
ist eine
teilkategorie
von
Collection
(
subclass
SurveillanceSystem
Collection
)
Mid-level-ontology.kif 26961-26961
SurveillanceSystem
ist eine
teilkategorie
von
Collection
(
subclass
Group
Collection
)
Merge.kif 16223-16223
Group
ist eine
teilkategorie
von
Collection
(
subclass
RoomInventory
Collection
)
Hotel.kif 138-138
RoomInventory
ist eine
teilkategorie
von
Collection
(
subclass
HotelMiniBar
Collection
)
Hotel.kif 1718-1718
HotelMiniBar
ist eine
teilkategorie
von
Collection
(
subclass
SolarSystem
Collection
)
Geography.kif 3362-3362
SolarSystem
ist eine
teilkategorie
von
Collection
(
subclass
InlandWaterSystem
Collection
)
Geography.kif 5342-5342
InlandWaterSystem
ist eine
teilkategorie
von
Collection
(
subclass
RiverSystem
Collection
)
Geography.kif 5510-5510
RiverSystem
ist eine
teilkategorie
von
Collection
(
subclass
Archipelago
Collection
)
Geography.kif 5842-5842
Archipelago
ist eine
teilkategorie
von
Collection
(
subclass
Meal
Collection
)
Food.kif 1675-1675
Meal
ist eine
teilkategorie
von
Collection
(
subclass
BoxOfChocolates
Collection
)
Food.kif 2507-2507
BoxOfChocolates
ist eine
teilkategorie
von
Collection
(
subclass
Buffet
Collection
)
Dining.kif 255-255
Buffet
ist eine
teilkategorie
von
Collection
(
subclass
Outfit
Collection
)
Dining.kif 464-464
Outfit
ist eine
teilkategorie
von
Collection
(
subclass
ComputerSystem
Collection
)
ComputingBrands.kif 3317-3317
ComputerSystem
ist eine
teilkategorie
von
Collection
(
subclass
RemoteKeylessSystem
Collection
)
Cars.kif 3773-3773
RemoteKeylessSystem
ist eine
teilkategorie
von
Collection
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