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
If
a symbolic string
is the
title
in
a language
for instances of
a class
,
then
the class
is a
subclass
of
collection
(
subclass
Collection
Object
)
Merge.kif 1261-1261
Collection
is a
subclass
of
object
(
subclass
MonoploidChromosomeSet
Collection
)
VirusProteinAndCellPart.kif 713-713
Monoploid chromosome set
is a
subclass
of
collection
(
subclass
HomologousChromosomeSet
Collection
)
VirusProteinAndCellPart.kif 859-859
Homologous chromosome set
is a
subclass
of
collection
(
subclass
GolgiApparatus
Collection
)
VirusProteinAndCellPart.kif 1057-1057
Golgi apparatus
is a
subclass
of
collection
(
subclass
WebListingCategory
Collection
)
UXExperimentalTerms.kif 133-133
Web listing category
is a
subclass
of
collection
(
subclass
VisitorProfile
Collection
)
UXExperimentalTerms.kif 1126-1126
Visitor profile
is a
subclass
of
collection
(
subclass
WebStore
Collection
)
UXExperimentalTerms.kif 2119-2119
Web store
is a
subclass
of
collection
(
subclass
MultivariateTest
Collection
)
UXExperimentalTerms.kif 4486-4486
Multivariate test
is a
subclass
of
collection
(
subclass
MerchantMarine
Collection
)
Transportation.kif 957-957
Merchant marine
is a
subclass
of
collection
(
subclass
Train
Collection
)
Transportation.kif 2049-2049
Train
is a
subclass
of
collection
(
subclass
Discography
Collection
)
Music.kif 60-60
Discography
is a
subclass
of
collection
(
subclass
Script
Collection
)
Mid-level-ontology.kif 669-669
Script
is a
subclass
of
collection
(
subclass
Fleet
Collection
)
Mid-level-ontology.kif 3512-3512
Fleet
is a
subclass
of
collection
(
subclass
ClothingSuit
Collection
)
Mid-level-ontology.kif 5302-5302
Clothing suit
is a
subclass
of
collection
(
subclass
CommunicationSystem
Collection
)
Mid-level-ontology.kif 7619-7619
Communication system
is a
subclass
of
collection
(
subclass
Skull
Collection
)
Mid-level-ontology.kif 11480-11480
Skull
is a
subclass
of
collection
(
subclass
MediaSystem
Collection
)
Mid-level-ontology.kif 14449-14449
Media system
is a
subclass
of
collection
(
subclass
Industry
Collection
)
Mid-level-ontology.kif 15010-15010
Industry
is a
subclass
of
collection
(
subclass
Convoy
Collection
)
Mid-level-ontology.kif 22323-22323
Convoy
is a
subclass
of
collection
(
subclass
FireSprinklerSystem
Collection
)
Mid-level-ontology.kif 25452-25452
Sprinkler system
is a
subclass
of
collection
(
subclass
SurveillanceSystem
Collection
)
Mid-level-ontology.kif 26961-26961
Surveillance system
is a
subclass
of
collection
(
subclass
Group
Collection
)
Merge.kif 16223-16223
Group
is a
subclass
of
collection
(
subclass
RoomInventory
Collection
)
Hotel.kif 138-138
Room inventory
is a
subclass
of
collection
(
subclass
HotelMiniBar
Collection
)
Hotel.kif 1718-1718
Mini bar
is a
subclass
of
collection
(
subclass
SolarSystem
Collection
)
Geography.kif 3362-3362
Solar system
is a
subclass
of
collection
(
subclass
InlandWaterSystem
Collection
)
Geography.kif 5342-5342
Inland water system
is a
subclass
of
collection
(
subclass
RiverSystem
Collection
)
Geography.kif 5510-5510
River system
is a
subclass
of
collection
(
subclass
Archipelago
Collection
)
Geography.kif 5842-5842
Archipelago
is a
subclass
of
collection
(
subclass
Meal
Collection
)
Food.kif 1675-1675
Meal
is a
subclass
of
collection
(
subclass
BoxOfChocolates
Collection
)
Food.kif 2507-2507
Box of chocolate
is a
subclass
of
collection
(
subclass
Buffet
Collection
)
Dining.kif 255-255
Buffet
is a
subclass
of
collection
(
subclass
Outfit
Collection
)
Dining.kif 464-464
Outfit
is a
subclass
of
collection
(
subclass
ComputerSystem
Collection
)
ComputingBrands.kif 3317-3317
Computer system
is a
subclass
of
collection
(
subclass
RemoteKeylessSystem
Collection
)
Cars.kif 3773-3773
Remote keyless system
is a
subclass
of
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
