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
SymbolicString
是在
Language
的
title
對於
Class
的例子
子類
Class
and
Collection
(
subclass
Collection
Object
)
Merge.kif 1261-1261
子類
Collection
and
Object
(
subclass
MonoploidChromosomeSet
Collection
)
VirusProteinAndCellPart.kif 713-713
子類
MonoploidChromosomeSet
and
Collection
(
subclass
HomologousChromosomeSet
Collection
)
VirusProteinAndCellPart.kif 859-859
子類
HomologousChromosomeSet
and
Collection
(
subclass
GolgiApparatus
Collection
)
VirusProteinAndCellPart.kif 1057-1057
子類
高爾基體
and
Collection
(
subclass
WebListingCategory
Collection
)
UXExperimentalTerms.kif 133-133
子類
WebListingCategory
and
Collection
(
subclass
VisitorProfile
Collection
)
UXExperimentalTerms.kif 1126-1126
子類
VisitorProfile
and
Collection
(
subclass
WebStore
Collection
)
UXExperimentalTerms.kif 2119-2119
子類
WebStore
and
Collection
(
subclass
MultivariateTest
Collection
)
UXExperimentalTerms.kif 4486-4486
子類
MultivariateTest
and
Collection
(
subclass
MerchantMarine
Collection
)
Transportation.kif 957-957
子類
商船
and
Collection
(
subclass
Train
Collection
)
Transportation.kif 2049-2049
子類
火車
and
Collection
(
subclass
Discography
Collection
)
Music.kif 60-60
子類
Discography
and
Collection
(
subclass
Script
Collection
)
Mid-level-ontology.kif 669-669
子類
腳本
and
Collection
(
subclass
Fleet
Collection
)
Mid-level-ontology.kif 3512-3512
子類
Fleet
and
Collection
(
subclass
ClothingSuit
Collection
)
Mid-level-ontology.kif 5302-5302
子類
服裝套裝
and
Collection
(
subclass
CommunicationSystem
Collection
)
Mid-level-ontology.kif 7619-7619
子類
通訊系統
and
Collection
(
subclass
Skull
Collection
)
Mid-level-ontology.kif 11480-11480
子類
頭骨
and
Collection
(
subclass
MediaSystem
Collection
)
Mid-level-ontology.kif 14449-14449
子類
MediaSystem
and
Collection
(
subclass
Industry
Collection
)
Mid-level-ontology.kif 15010-15010
子類
行業
and
Collection
(
subclass
Convoy
Collection
)
Mid-level-ontology.kif 22323-22323
子類
護航
and
Collection
(
subclass
FireSprinklerSystem
Collection
)
Mid-level-ontology.kif 25452-25452
子類
FireSprinklerSystem
and
Collection
(
subclass
SurveillanceSystem
Collection
)
Mid-level-ontology.kif 26961-26961
子類
SurveillanceSystem
and
Collection
(
subclass
Group
Collection
)
Merge.kif 16223-16223
子類
Group
and
Collection
(
subclass
RoomInventory
Collection
)
Hotel.kif 138-138
子類
RoomInventory
and
Collection
(
subclass
HotelMiniBar
Collection
)
Hotel.kif 1718-1718
子類
HotelMiniBar
and
Collection
(
subclass
SolarSystem
Collection
)
Geography.kif 3362-3362
子類
太陽系
and
Collection
(
subclass
InlandWaterSystem
Collection
)
Geography.kif 5342-5342
子類
內陸水系統
and
Collection
(
subclass
RiverSystem
Collection
)
Geography.kif 5510-5510
子類
河流系統
and
Collection
(
subclass
Archipelago
Collection
)
Geography.kif 5842-5842
子類
群島
and
Collection
(
subclass
Meal
Collection
)
Food.kif 1675-1675
子類
Meal
and
Collection
(
subclass
BoxOfChocolates
Collection
)
Food.kif 2507-2507
子類
一盒巧克力
and
Collection
(
subclass
Buffet
Collection
)
Dining.kif 255-255
子類
Buffet
and
Collection
(
subclass
Outfit
Collection
)
Dining.kif 464-464
子類
Outfit
and
Collection
(
subclass
ComputerSystem
Collection
)
ComputingBrands.kif 3317-3317
子類
ComputerSystem
and
Collection
(
subclass
RemoteKeylessSystem
Collection
)
Cars.kif 3773-3773
子類
RemoteKeylessSystem
and
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