Term Intersection
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
Term 1:
Term 2:
(=>
(
groupingTitle
?STRING ?PRODUCTTYPE ?LANGUAGE)
(
subclass
?PRODUCTTYPE
Collection
))
Media.kif 3191-3193
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 1213-1213
Collection
is a
subclass
of
object
(
subclass
GolgiApparatus
Collection
)
VirusProteinAndCellPart.kif 544-544
Golgi apparatus
is a
subclass
of
collection
(
subclass
WebListingCategory
Collection
)
UXExperimentalTerms.kif 169-169
Web listing category
is a
subclass
of
collection
(
subclass
VisitorProfile
Collection
)
UXExperimentalTerms.kif 1323-1323
Visitor profile
is a
subclass
of
collection
(
subclass
WebStore
Collection
)
UXExperimentalTerms.kif 2328-2328
Web store
is a
subclass
of
collection
(
subclass
MultivariateTest
Collection
)
UXExperimentalTerms.kif 4687-4687
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 2057-2057
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 630-630
Script
is a
subclass
of
collection
(
subclass
Fleet
Collection
)
Mid-level-ontology.kif 3464-3464
Fleet
is a
subclass
of
collection
(
subclass
ClothingSuit
Collection
)
Mid-level-ontology.kif 5024-5024
Clothing suit
is a
subclass
of
collection
(
subclass
CommunicationSystem
Collection
)
Mid-level-ontology.kif 7295-7295
Communication system
is a
subclass
of
collection
(
subclass
MediaSystem
Collection
)
Mid-level-ontology.kif 13915-13915
Media system
is a
subclass
of
collection
(
subclass
Industry
Collection
)
Mid-level-ontology.kif 14454-14454
Industry
is a
subclass
of
collection
(
subclass
Convoy
Collection
)
Mid-level-ontology.kif 21779-21779
Convoy
is a
subclass
of
collection
(
subclass
FireSprinklerSystem
Collection
)
Mid-level-ontology.kif 24806-24806
Sprinkler system
is a
subclass
of
collection
(
subclass
SurveillanceSystem
Collection
)
Mid-level-ontology.kif 26331-26331
Surveillance system
is a
subclass
of
collection
(
subclass
Group
Collection
)
Merge.kif 15941-15941
Group
is a
subclass
of
collection
(
subclass
RoomInventory
Collection
)
Hotel.kif 133-133
Room inventory
is a
subclass
of
collection
(
subclass
HotelMiniBar
Collection
)
Hotel.kif 1693-1693
Mini bar
is a
subclass
of
collection
(
subclass
SolarSystem
Collection
)
Geography.kif 3284-3284
Solar system
is a
subclass
of
collection
(
subclass
InlandWaterSystem
Collection
)
Geography.kif 5240-5240
Inland water system
is a
subclass
of
collection
(
subclass
RiverSystem
Collection
)
Geography.kif 5408-5408
River system
is a
subclass
of
collection
(
subclass
Archipelago
Collection
)
Geography.kif 5739-5739
Archipelago
is a
subclass
of
collection
(
subclass
Meal
Collection
)
Food.kif 69-69
Meal
is a
subclass
of
collection
(
subclass
Buffet
Collection
)
Dining.kif 251-251
Buffet
is a
subclass
of
collection
(
subclass
Outfit
Collection
)
Dining.kif 435-435
Outfit
is a
subclass
of
collection
(
subclass
ComputerSystem
Collection
)
ComputingBrands.kif 3283-3283
Computer system
is a
subclass
of
collection
(
subclass
RemoteKeylessSystem
Collection
)
Cars.kif 3776-3776
RemoteKeylessSystem
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
