Browsing Interface
: 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
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
subCollection
Sigma KEE - subCollection
subCollection
appearance as argument number 1
(
documentation
subCollection
ChineseLanguage
"(
subCollection
?COLL1 ?COLL2) 的意思是
Collection
?COLL1 是
Collection
?COLL2 的真正部分。")
chinese_format.kif 1635-1636
(
documentation
subCollection
EnglishLanguage
"(
subCollection
?COLL1 ?COLL2) means that the
Collection
?COLL1 is a proper part of the
Collection
?COLL2.")
Merge.kif 1293-1294
(
documentation
subCollection
JapaneseLanguage
"(
subCollection
?COLL1 ?COLL2) とは
Collection
?COLL1が、
Collection
?COLL2C2の適切な部分、という意味である。")
japanese_format.kif 218-219
(
documentation
subCollection
SpanishLanguage
"(
subCollection
?COLL1 ?COLL2) significa que la
Collection
?COLL1 es una propia parte de la
Collection
?COLL2.")
spanish_format.kif 259-260
(
domain
subCollection
1
Collection
)
Merge.kif 1290-1290
域
子集合
, 1 and
Collection
(
domain
subCollection
2
Collection
)
Merge.kif 1291-1291
域
子集合
, 2 and
Collection
(
instance
subCollection
BinaryPredicate
)
Merge.kif 1288-1288
例
子集合
and
BinaryPredicate
(
instance
subCollection
PartialOrderingRelation
)
Merge.kif 1289-1289
例
子集合
and
PartialOrderingRelation
appearance as argument number 2
(
format
ChineseLanguage
subCollection
"%1 %n 是 %2 的 真正的子集")
chinese_format.kif 185-185
(
format
EnglishLanguage
subCollection
"%1 is %n a proper sub-collection of %2")
english_format.kif 186-186
(
format
FrenchLanguage
subCollection
"%1 est %n une sous-collection appartenant � %2")
french_format.kif 112-112
(
format
ItalianLanguage
subCollection
"%1 è %n sottoinsieme un proprio %2")
relations-it.txt 272-272
(
format
JapaneseLanguage
subCollection
"%1 は %2 の 適切な sub-collection では %n")
japanese_format.kif 1941-1941
(
format
PortugueseLanguage
subCollection
"%1 e' %n uma sub-colecao de %2")
portuguese_format.kif 64-64
(
format
cz
subCollection
"%1 %p{je} %n{nen�} a proper sub-collection of %2")
relations-cz.txt 70-70
(
format
de
subCollection
"%1 ist eine korrekte teilsammlung von %2 %n{nicht}")
relations-de.txt 235-235
(
format
hi
subCollection
"%1 %2 kaa eka uchita upa-sangraha %n hai")
relations-hindi.txt 309-309
(
format
ro
subCollection
"%1 %n{nu} este o sub-collection%t{subcolecþie} proprie a lui %2")
relations-ro.kif 131-131
(
format
sv
subCollection
"%1 är %n{inte} en riktig subsamling av %2")
relations-sv.txt 117-117
(
format
tg
subCollection
"%1 %n ay ang pangkat mas tiyak ng %2")
relations-tg.txt 464-464
(
subrelation
subOrganization
subCollection
)
Merge.kif 16741-16741
子關係
子組織
and
子集合
(
termFormat
ChineseLanguage
subCollection
"子集")
chinese_format.kif 186-186
(
termFormat
ChineseLanguage
subCollection
"子集合")
domainEnglishFormat.kif 55710-55710
(
termFormat
ChineseTraditionalLanguage
subCollection
"子集合")
domainEnglishFormat.kif 55709-55709
(
termFormat
EnglishLanguage
subCollection
"sub collection")
domainEnglishFormat.kif 55708-55708
(
termFormat
de
subCollection
"teilsammlung")
terms-de.txt 74-74
antecedent
(<=>
(
subCollection
?COLL1 ?COLL2)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?COLL1)
(
member
?MEMBER ?COLL2))))
Merge.kif 1297-1302
子集合
Collection
and
Collection
Physical
會員
Physical
and
Collection
會員
Physical
and
Collection
(=>
(
and
(
chromosomeSetCount
?SUB ?COLL ?I)
(
subCollection
?SUB ?COLL))
(
equal
?I
(
CardinalityFn
(
KappaFn
?I
(
subCollection
?SUB ?COLL)))))
VirusProteinAndCellPart.kif 829-836
chromosomeSetCount
MonoploidChromosomeSet
,
Collection
and
Integer
子集合
MonoploidChromosomeSet
and
Collection
等於
Integer
and
基數
卡帕
Integer
and
子集合
MonoploidChromosomeSet
and
Collection
(=>
(
and
(
instance
?CELL
PentaploidCell
)
(
instance
?N
CellNucleus
)
(
part
?N ?CELL)
(
located
?COLL ?N)
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
)
(
instance
?A
MonoploidChromosomeSet
)
(
subCollection
?A ?COLL))
(
chromosomeSetCount
?A ?COLL 5))
VirusProteinAndCellPart.kif 974-984
例
Object
and
PentaploidCell
例
Object
and
細胞核
部分
Object
and
Object
位於
Collection
and
Object
例
Collection
and
Collection
Chromosome
是
Collection
的
member
類別
例
MonoploidChromosomeSet
and
MonoploidChromosomeSet
子集合
MonoploidChromosomeSet
and
Collection
chromosomeSetCount
MonoploidChromosomeSet
,
Collection
and 5
(=>
(
and
(
instance
?CELL
TriploidCell
)
(
instance
?N
CellNucleus
)
(
part
?N ?CELL)
(
located
?COLL ?N)
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
)
(
instance
?A
MonoploidChromosomeSet
)
(
subCollection
?A ?COLL))
(
chromosomeSetCount
?A ?COLL 3))
VirusProteinAndCellPart.kif 921-931
例
Object
and
TriploidCell
例
Object
and
細胞核
部分
Object
and
Object
位於
Collection
and
Object
例
Collection
and
Collection
Chromosome
是
Collection
的
member
類別
例
MonoploidChromosomeSet
and
MonoploidChromosomeSet
子集合
MonoploidChromosomeSet
and
Collection
chromosomeSetCount
MonoploidChromosomeSet
,
Collection
and 3
(=>
(
and
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
)
(
instance
?A
MonoploidChromosomeSet
)
(
subCollection
?A ?COLL)
(
chromosomeSetCount
?A ?COLL 4)
(
located
?COLL ?N)
(
instance
?N
CellNucleus
)
(
part
?N ?CELL))
(
instance
?CELL
TetraploidCell
))
VirusProteinAndCellPart.kif 939-949
例
Collection
and
Collection
Chromosome
是
Collection
的
member
類別
例
MonoploidChromosomeSet
and
MonoploidChromosomeSet
子集合
MonoploidChromosomeSet
and
Collection
chromosomeSetCount
MonoploidChromosomeSet
,
Collection
and 4
位於
Collection
and
Object
例
Object
and
細胞核
部分
Object
and
Object
例
Object
and
TetraploidCell
(=>
(
and
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
)
(
instance
?A
MonoploidChromosomeSet
)
(
subCollection
?A ?COLL)
(
chromosomeSetCount
?A ?COLL 6)
(
located
?COLL ?N)
(
instance
?N
CellNucleus
)
(
part
?N ?CELL))
(
instance
?CELL
HexaploidCell
))
VirusProteinAndCellPart.kif 992-1002
例
Collection
and
Collection
Chromosome
是
Collection
的
member
類別
例
MonoploidChromosomeSet
and
MonoploidChromosomeSet
子集合
MonoploidChromosomeSet
and
Collection
chromosomeSetCount
MonoploidChromosomeSet
,
Collection
and 6
位於
Collection
and
Object
例
Object
and
細胞核
部分
Object
and
Object
例
Object
and
HexaploidCell
(=>
(
and
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
)
(
subCollection
?A ?COLL)
(
chromosomeSetCount
?A ?COLL 2)
(
located
?COLL ?N)
(
instance
?N
CellNucleus
)
(
part
?N ?CELL))
(
instance
?CELL
DiploidCell
))
VirusProteinAndCellPart.kif 896-905
例
Collection
and
Collection
Chromosome
是
Collection
的
member
類別
子集合
MonoploidChromosomeSet
and
Collection
chromosomeSetCount
MonoploidChromosomeSet
,
Collection
and 2
位於
Collection
and
Object
例
Object
and
細胞核
部分
Object
and
Object
例
Object
and
DiploidCell
(=>
(
and
(
instance
?COLL
HomologousChromosomeSet
)
(
memberType
?COLL
Chromosome
)
(
located
?COLL ?N)
(
instance
?N
CellNucleus
)
(
part
?N
EukaryoticCell
)
(
instance
?A
MonoploidChromosomeSet
)
(
subCollection
?A ?COLL))
(
chromosomeSetCount
?A ?COLL 2))
VirusProteinAndCellPart.kif 866-875
例
Collection
and
HomologousChromosomeSet
Chromosome
是
Collection
的
member
類別
位於
Collection
and
Object
例
Object
and
細胞核
部分
Object
and
真核細胞
例
MonoploidChromosomeSet
and
MonoploidChromosomeSet
子集合
MonoploidChromosomeSet
and
Collection
chromosomeSetCount
MonoploidChromosomeSet
,
Collection
and 2
(=>
(
and
(
instance
?COLL
HomologousChromosomeSet
)
(
memberType
?COLL
Chromosome
)
(
located
?COLL ?N)
(
instance
?N
CellNucleus
)
(
part
?N
EukaryoticCell
)
(
subCollection
?X ?COLL)
(
subCollection
?Y ?COLL)
(
not
(
equal
?X ?Y)))
(
homologousChromosomePair
?X ?Y))
VirusProteinAndCellPart.kif 877-888
例
Collection
and
HomologousChromosomeSet
Chromosome
是
Collection
的
member
類別
位於
Collection
and
Object
例
Object
and
細胞核
部分
Object
and
真核細胞
子集合
MonoploidChromosomeSet
and
Collection
子集合
MonoploidChromosomeSet
and
Collection
等於
MonoploidChromosomeSet
and
MonoploidChromosomeSet
homologousChromosomePair
MonoploidChromosomeSet
and
MonoploidChromosomeSet
(=>
(
and
(
instance
?UW
UnconventionalWarfare
)
(
agent
?UW ?AGENT)
(
not
(
equal
?AGENT ?POPULACE))
(
not
(
equal
?AGENT
(
GovernmentFn
?NATION)))
(
patient
?UW ?POPULACE)
(
or
(
member
?POPULACE
(
ResidentFn
?NATION))
(
subCollection
?POPULACE
(
ResidentFn
?NATION))))
(
exists
(?CONTEST)
(
and
(
instance
?CONTEST
Contest
)
(
agent
?CONTEST ?POPULACE)
(
agent
?CONTEST
(
GovernmentFn
?NATION)))))
MilitaryProcesses.kif 163-183
例
Process
and
非常規戰爭
agent
Process
and
Government
等於
Government
and
AutonomousAgent
等於
Government
and
政府
GeopoliticalArea
患者
Process
and
AutonomousAgent
會員
AutonomousAgent
and
GeopoliticalArea
的
resident
子集合
AutonomousAgent
and
GeopoliticalArea
的
resident
Process
例
Process
and
Contest
agent
Process
and
AutonomousAgent
agent
Process
and
政府
GeopoliticalArea
(=>
(
and
(
instance
?VISITS
Collection
)
(
instance
?PURCHASES
Collection
)
(
subCollection
?PURCHASES ?VISITS)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?VISITS)
(
instance
?MEMBER
AccessingWebPage
)))
(
forall
(?BUYING ?VISITOR ?ACCESSING ?BUYING ?PAGE)
(=>
(
and
(
instance
?VISITOR
Human
)
(
instance
?BUYING
Buying
)
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?PAGE
WebPage
)
(
member
?ACCESSING ?VISITS)
(
destination
?ACCESSING ?PAGE)
(
agent
?BUYING ?VISITOR)
(
agent
?ACCESSING ?VISITOR)
(
during
(
WhenFn
?BUYING)
(
WhenFn
?ACCESSING))
(
instrument
?BUYING ?PAGE))
(
member
?BUYING ?PURCHASES))))
(
exists
(?INTERVAL ?PURCHASE_IN_INTERVAL ?VISIT_IN_INTERVAL)
(
equal
(
SCRFn
?VISITS ?INTERVAL)
(
DivisionFn
(
CardinalityFn
(
KappaFn
?PURCHASE_IN_INTERVAL
(
and
(
member
?PURCHASE_IN_INTERVAL ?PURCHASES)
(
during
(
WhenFn
?PURCHASE_IN_INTERVAL) ?INTERVAL))))
(
CardinalityFn
(
KappaFn
?VISIT_IN_INTERVAL
(
and
(
member
?VISIT_IN_INTERVAL ?VISITS)
(
during
(
WhenFn
?PURCHASE_IN_INTERVAL) ?INTERVAL))))))))
UXExperimentalTerms.kif 3668-3704
例
Collection
and
Collection
例
Collection
and
Collection
子集合
Collection
and
Collection
Physical
會員
Physical
and
Collection
例
Physical
and
AccessingWebPage
Process
AutonomousAgent
,
Process
,
Process
and
Object
例
AutonomousAgent
and
Human
例
Process
and
Buying
例
Process
and
AccessingWebPage
例
Object
and
WebPage
會員
Process
and
Collection
目的地
Process
and
Object
agent
Process
and
AutonomousAgent
agent
Process
and
AutonomousAgent
期間
何時
Process
and
何時
Process
儀器
Process
and
Object
會員
Process
and
Collection
TimeInterval
entity
_IN_INTERVAL and
entity
_IN_INTERVAL
等於
purchases
花在
Collection
期間
TimeInterval
and
部
基數
卡帕
entity
_IN_INTERVAL and
會員
entity
_IN_INTERVAL and
Collection
期間
何時
entity
_IN_INTERVAL and
TimeInterval
and
基數
卡帕
entity
_IN_INTERVAL and
會員
entity
_IN_INTERVAL and
Collection
期間
何時
entity
_IN_INTERVAL and
TimeInterval
consequent
(=>
(
and
(
chromosomeSetCount
?SUB ?COLL ?I)
(
subCollection
?SUB ?COLL))
(
equal
?I
(
CardinalityFn
(
KappaFn
?I
(
subCollection
?SUB ?COLL)))))
VirusProteinAndCellPart.kif 829-836
chromosomeSetCount
MonoploidChromosomeSet
,
Collection
and
Integer
子集合
MonoploidChromosomeSet
and
Collection
等於
Integer
and
基數
卡帕
Integer
and
子集合
MonoploidChromosomeSet
and
Collection
(=>
(
and
(
instance
?CELL
HexaploidCell
)
(
part
?N ?CELL)
(
instance
?N
CellNucleus
)
(
located
?COLL ?N)
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
))
(
exists
(?A ?B ?C)
(
and
(
instance
?A
HomologousChromosomeSet
)
(
subCollection
?A ?COLL)
(
instance
?B
HomologousChromosomeSet
)
(
subCollection
?B ?COLL)
(
instance
?C
HomologousChromosomeSet
)
(
subCollection
?C ?COLL)
(
not
(
equal
?A ?B)
(
equal
?A ?C)
(
equal
?B ?C)))))
VirusProteinAndCellPart.kif 1004-1023
例
Object
and
HexaploidCell
部分
Object
and
Object
例
Object
and
細胞核
位於
Collection
and
Object
例
Collection
and
Collection
Chromosome
是
Collection
的
member
類別
Collection
Collection
and
Collection
例
Collection
and
HomologousChromosomeSet
子集合
Collection
and
Collection
例
Collection
and
HomologousChromosomeSet
子集合
Collection
and
Collection
例
Collection
and
HomologousChromosomeSet
子集合
Collection
and
Collection
等於
Collection
and
Collection
(=>
(
and
(
instance
?CELL
TetraploidCell
)
(
part
?N ?CELL)
(
instance
?N
CellNucleus
)
(
located
?COLL ?N)
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
))
(
exists
(?A ?B)
(
and
(
instance
?A
HomologousChromosomeSet
)
(
subCollection
?A ?COLL)
(
instance
?B
HomologousChromosomeSet
)
(
subCollection
?B ?COLL)
(
not
(
equal
?A ?B)))))
VirusProteinAndCellPart.kif 951-966
例
Object
and
TetraploidCell
部分
Object
and
Object
例
Object
and
細胞核
位於
Collection
and
Object
例
Collection
and
Collection
Chromosome
是
Collection
的
member
類別
Collection
Collection
例
Collection
and
HomologousChromosomeSet
子集合
Collection
and
Collection
例
Collection
and
HomologousChromosomeSet
子集合
Collection
and
Collection
等於
Collection
and
Collection
(=>
(
and
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
)
(
member
?M ?COLL)
(
part
?M
CommonWheatGrass
))
(
exists
(?A ?B ?X ?Y)
(
and
(
subCollection
?A ?COLL)
(
instance
?A
HomologousChromosomeSet
)
(
memberType
?A ?X)
(
initialPart
?X
EmmerWheatGrass
)
(
subCollection
?B ?COLL)
(
instance
?B
HomologousChromosomeSet
)
(
memberType
?B ?Y)
(
initialPart
?Y
AegilopsTauschii
))))
Economy.kif 3970-3985
例
Collection
and
Collection
Chromosome
是
Collection
的
member
類別
會員
Object
and
Collection
部分
Object
and
CommonWheatGrass
Collection
Collection
,
Object
and
Object
子集合
Collection
and
Collection
例
Collection
and
HomologousChromosomeSet
Object
是
Collection
的
member
類別 %每個
Object
是
EmmerWheatGrass
的
initially
part
子集合
Collection
and
Collection
例
Collection
and
HomologousChromosomeSet
Object
是
Collection
的
member
類別 %每個
Object
是
AegilopsTauschii
的
initially
part
(=>
(
and
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
)
(
member
?M ?COLL)
(
part
?M
DurumWheatGrass
))
(
exists
(?A ?B ?X ?Y)
(
and
(
subCollection
?A ?COLL)
(
instance
?A
HomologousChromosomeSet
)
(
memberType
?A ?X)
(
initialPart
?X
TriticumUrartu
)
(
subCollection
?B ?COLL)
(
instance
?B
HomologousChromosomeSet
)
(
memberType
?B ?Y)
(
initialPart
?Y
AegilopsSpeltoides
))))
Economy.kif 3911-3926
例
Collection
and
Collection
Chromosome
是
Collection
的
member
類別
會員
Object
and
Collection
部分
Object
and
DurumWheatGrass
Collection
Collection
,
Object
and
Object
子集合
Collection
and
Collection
例
Collection
and
HomologousChromosomeSet
Object
是
Collection
的
member
類別 %每個
Object
是
TriticumUrartu
的
initially
part
子集合
Collection
and
Collection
例
Collection
and
HomologousChromosomeSet
Object
是
Collection
的
member
類別 %每個
Object
是
AegilopsSpeltoides
的
initially
part
(=>
(
and
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
)
(
member
?M ?COLL)
(
part
?M
EmmerWheatGrass
))
(
exists
(?A ?B ?X ?Y)
(
and
(
subCollection
?A ?COLL)
(
instance
?A
HomologousChromosomeSet
)
(
memberType
?A ?X)
(
initialPart
?X
EinkornWheatGrass
)
(
subCollection
?B ?COLL)
(
instance
?B
HomologousChromosomeSet
)
(
memberType
?B ?Y)
(
initialPart
?Y
AegilopsGrass
))))
Economy.kif 3879-3894
例
Collection
and
Collection
Chromosome
是
Collection
的
member
類別
會員
Object
and
Collection
部分
Object
and
EmmerWheatGrass
Collection
Collection
,
Object
and
Object
子集合
Collection
and
Collection
例
Collection
and
HomologousChromosomeSet
Object
是
Collection
的
member
類別 %每個
Object
是
EinkornWheatGrass
的
initially
part
子集合
Collection
and
Collection
例
Collection
and
HomologousChromosomeSet
Object
是
Collection
的
member
類別 %每個
Object
是
AegilopsGrass
的
initially
part
(=>
(
and
(
instance
?SAMPLE_COLL
Collection
)
(
instance
?POP_COLL
Collection
)
(
instance
?EXPERIMENT
Experimenting
)
(
statisticalPopulation
?SAMPLE_COLL ?POP_COLL ?EXPERIMENT))
(
subCollection
?SAMPLE_COLL ?POP_COLL))
UXExperimentalTerms.kif 483-489
例
entity
_COLL and
Collection
例
entity
_COLL and
Collection
例
試驗
and
試驗
entity
_COLL 是
entity
_COLL 的
sample
對於
試驗
子集合
entity
_COLL and
entity
_COLL
(=>
(
and
(
numberChildOccupant
?RESERVE ?NUM)
(
fulfillingEntity
?HOTEL ?RESERVE))
(
exists
(?COL ?SUBCOL)
(
and
(
instance
?COL
GroupOfPeople
)
(
subCollection
?SUBCOL ?COL)
(
instance
?SUBCOL
GroupOfPeople
)
(
memberType
?SUBCOL
HumanChild
)
(
memberCount
?SUBCOL ?NUM)
(
potentialCustomer
?COL ?HOTEL))))
Hotel.kif 2903-2914
HotelReservation
也許
have
Integer
孩童
AutonomousAgent
fulfills
HotelReservation
Collection
Collection
例
Collection
and
一群人
子集合
Collection
and
Collection
例
Collection
and
一群人
人類的孩子
是
Collection
的
member
類別
Integer
是
Collection
的
member
計數
Collection
是個
potential
customer
對於
AutonomousAgent
(=>
(
memberTypeCount
?GROUP ?TYPE ?NUMBER)
(
exists
(?SUBGROUP)
(
and
(
subCollection
?SUBGROUP ?GROUP)
(
memberCount
?SUBGROUP ?NUMBER)
(
memberType
?SUBGROUP ?TYPE))))
Mid-level-ontology.kif 22671-22677
Collection
對於
NonnegativeInteger
的
member
類別計數
Class
Collection
子集合
Collection
and
Collection
NonnegativeInteger
是
Collection
的
member
計數
Class
是
Collection
的
member
類別
appearance as argument number 0
(
subCollection
AhmadiyyaSect
Islam
)
People.kif 1339-1339
子集合
ahmadiyya教派
and
伊斯蘭教
(
subCollection
AimakEthnicity
AsianEthnicity
)
People.kif 496-496
子集合
愛馬克族
and
亞洲種族
(
subCollection
Anglicanism
Christianity
)
People.kif 1217-1217
子集合
英國國教
and
基督教
(
subCollection
BritishVirginIslands
VirginIslands
)
Media.kif 2602-2602
子集合
英屬維爾京群島
and
維爾京群島
(
subCollection
DruzeSect
Islam
)
People.kif 1353-1353
子集合
德魯茲教派
and
伊斯蘭教
(
subCollection
EasternOrthodoxChristianity
Christianity
)
People.kif 1239-1239
子集合
東正教基督教
and
基督教
(
subCollection
HazaraEthnicity
AsianEthnicity
)
People.kif 535-535
子集合
哈扎拉族
and
亞洲種族
(
subCollection
IndochineseEthnicity
AsianEthnicity
)
People.kif 555-555
子集合
印度支那種族
and
亞洲種族
(
subCollection
Protestantism
Christianity
)
People.kif 1253-1253
子集合
新教
and
基督教
(
subCollection
RomanCatholicism
Christianity
)
People.kif 1267-1267
子集合
羅馬天主教
and
基督教
(
subCollection
RussianEthnicity
SlavicEthnicity
)
People.kif 595-595
子集合
俄羅斯種族
and
斯拉夫民族
(
subCollection
ShiiteSect
Islam
)
People.kif 1368-1368
子集合
什葉派
and
伊斯蘭教
(
subCollection
SunniSect
Islam
)
People.kif 1387-1387
子集合
遜尼派
and
伊斯蘭教
(
subCollection
TurkmenEthnicity
CentralAsianTurkishEthnicity
)
People.kif 631-631
子集合
土庫曼族
and
中亞土耳其種族
(
subCollection
USVirginIslands
VirginIslands
)
Media.kif 2603-2603
子集合
USVirginIslands
and
維爾京群島
(
subCollection
UzbekEthnicity
CentralAsianTurkishEthnicity
)
People.kif 638-638
子集合
烏茲別克人的種族
and
中亞土耳其種族
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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