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
groupingTitle
記号文字列
,
クラス
and
言語
クラス
は
コレクション
の
subclass
では %n
(
subclass
Collection
Object
)
Merge.kif 1261-1261
コレクション
は
オブジェクト
の
subclass
では %n
(
subclass
MonoploidChromosomeSet
Collection
)
VirusProteinAndCellPart.kif 713-713
MonoploidChromosomeSet
は
コレクション
の
subclass
では %n
(
subclass
HomologousChromosomeSet
Collection
)
VirusProteinAndCellPart.kif 859-859
HomologousChromosomeSet
は
コレクション
の
subclass
では %n
(
subclass
GolgiApparatus
Collection
)
VirusProteinAndCellPart.kif 1057-1057
GolgiApparatus
は
コレクション
の
subclass
では %n
(
subclass
WebListingCategory
Collection
)
UXExperimentalTerms.kif 133-133
WebListingCategory
は
コレクション
の
subclass
では %n
(
subclass
VisitorProfile
Collection
)
UXExperimentalTerms.kif 1126-1126
VisitorProfile
は
コレクション
の
subclass
では %n
(
subclass
WebStore
Collection
)
UXExperimentalTerms.kif 2119-2119
WebStore
は
コレクション
の
subclass
では %n
(
subclass
MultivariateTest
Collection
)
UXExperimentalTerms.kif 4486-4486
MultivariateTest
は
コレクション
の
subclass
では %n
(
subclass
MerchantMarine
Collection
)
Transportation.kif 957-957
MerchantMarine
は
コレクション
の
subclass
では %n
(
subclass
Train
Collection
)
Transportation.kif 2049-2049
Train
は
コレクション
の
subclass
では %n
(
subclass
Discography
Collection
)
Music.kif 60-60
Discography
は
コレクション
の
subclass
では %n
(
subclass
Script
Collection
)
Mid-level-ontology.kif 669-669
Script
は
コレクション
の
subclass
では %n
(
subclass
Fleet
Collection
)
Mid-level-ontology.kif 3512-3512
Fleet
は
コレクション
の
subclass
では %n
(
subclass
ClothingSuit
Collection
)
Mid-level-ontology.kif 5302-5302
ClothingSuit
は
コレクション
の
subclass
では %n
(
subclass
CommunicationSystem
Collection
)
Mid-level-ontology.kif 7619-7619
CommunicationSystem
は
コレクション
の
subclass
では %n
(
subclass
Skull
Collection
)
Mid-level-ontology.kif 11480-11480
Skull
は
コレクション
の
subclass
では %n
(
subclass
MediaSystem
Collection
)
Mid-level-ontology.kif 14449-14449
MediaSystem
は
コレクション
の
subclass
では %n
(
subclass
Industry
Collection
)
Mid-level-ontology.kif 15010-15010
Industry
は
コレクション
の
subclass
では %n
(
subclass
Convoy
Collection
)
Mid-level-ontology.kif 22323-22323
Convoy
は
コレクション
の
subclass
では %n
(
subclass
FireSprinklerSystem
Collection
)
Mid-level-ontology.kif 25452-25452
FireSprinklerSystem
は
コレクション
の
subclass
では %n
(
subclass
SurveillanceSystem
Collection
)
Mid-level-ontology.kif 26961-26961
SurveillanceSystem
は
コレクション
の
subclass
では %n
(
subclass
Group
Collection
)
Merge.kif 16223-16223
グループ
は
コレクション
の
subclass
では %n
(
subclass
RoomInventory
Collection
)
Hotel.kif 138-138
RoomInventory
は
コレクション
の
subclass
では %n
(
subclass
HotelMiniBar
Collection
)
Hotel.kif 1718-1718
HotelMiniBar
は
コレクション
の
subclass
では %n
(
subclass
SolarSystem
Collection
)
Geography.kif 3362-3362
SolarSystem
は
コレクション
の
subclass
では %n
(
subclass
InlandWaterSystem
Collection
)
Geography.kif 5342-5342
InlandWaterSystem
は
コレクション
の
subclass
では %n
(
subclass
RiverSystem
Collection
)
Geography.kif 5510-5510
RiverSystem
は
コレクション
の
subclass
では %n
(
subclass
Archipelago
Collection
)
Geography.kif 5842-5842
Archipelago
は
コレクション
の
subclass
では %n
(
subclass
Meal
Collection
)
Food.kif 1675-1675
Meal
は
コレクション
の
subclass
では %n
(
subclass
BoxOfChocolates
Collection
)
Food.kif 2507-2507
BoxOfChocolates
は
コレクション
の
subclass
では %n
(
subclass
Buffet
Collection
)
Dining.kif 255-255
Buffet
は
コレクション
の
subclass
では %n
(
subclass
Outfit
Collection
)
Dining.kif 464-464
Outfit
は
コレクション
の
subclass
では %n
(
subclass
ComputerSystem
Collection
)
ComputingBrands.kif 3317-3317
ComputerSystem
は
コレクション
の
subclass
では %n
(
subclass
RemoteKeylessSystem
Collection
)
Cars.kif 3773-3773
RemoteKeylessSystem
は
コレクション
の
subclass
では %n
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