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 数量 是
群体
的
instance
(
domain
subCollection
2
Collection
)
Merge.kif 1291-1291
子集
的 2 数量 是
群体
的
instance
(
instance
subCollection
BinaryPredicate
)
Merge.kif 1288-1288
子集
是
二元谓语
的
instance
(
instance
subCollection
PartialOrderingRelation
)
Merge.kif 1289-1289
子集
是
偏序关系
的
instance
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
子机构
是
子集
的
subrelation
(
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
群体
是
另一个 群体
的 真正的子集 若且唯若 对所有
物理
如果
那个 物理
是
那个 群体
的
member
,
然后
那个 物理
是
那个 另外 群体
的
member
(=>
(
and
(
chromosomeSetCount
?SUB ?COLL ?I)
(
subCollection
?SUB ?COLL))
(
equal
?I
(
CardinalityFn
(
KappaFn
?I
(
subCollection
?SUB ?COLL)))))
VirusProteinAndCellPart.kif 829-836
如果
chromosomeSetCount
MonoploidChromosomeSet
,
群体
and
整数
和
那个 MonoploidChromosomeSet
是
那个 群体
的 真正的子集,
然后
那个 整数
equal
那个 整数
所描述的类别
instance
的数量
(=>
(
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
如果
客体
是
PentaploidCell
的
instance
和
另一个 客体
是
细胞核
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和
群体
是
located
在
那个 另外 客体
和
那个 群体
是
群体
的
instance
和
Chromosome
是
那个 群体
的
member
类别 和
MonoploidChromosomeSet
是
MonoploidChromosomeSet
的
instance
和
那个 MonoploidChromosomeSet
是
那个 群体
的 真正的子集,
然后
chromosomeSetCount
那个 MonoploidChromosomeSet
,
那个 群体
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
如果
客体
是
TriploidCell
的
instance
和
另一个 客体
是
细胞核
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和
群体
是
located
在
那个 另外 客体
和
那个 群体
是
群体
的
instance
和
Chromosome
是
那个 群体
的
member
类别 和
MonoploidChromosomeSet
是
MonoploidChromosomeSet
的
instance
和
那个 MonoploidChromosomeSet
是
那个 群体
的 真正的子集,
然后
chromosomeSetCount
那个 MonoploidChromosomeSet
,
那个 群体
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
如果
群体
是
群体
的
instance
和
Chromosome
是
那个 群体
的
member
类别 和
MonoploidChromosomeSet
是
MonoploidChromosomeSet
的
instance
和
那个 MonoploidChromosomeSet
是
那个 群体
的 真正的子集 和
chromosomeSetCount
那个 MonoploidChromosomeSet
,
那个 群体
and 4 和
那个 群体
是
located
在
客体
和
那个 客体
是
细胞核
的
instance
和
那个 客体
是
另一个 客体
的
part
,
然后
那个 另外 客体
是
TetraploidCell
的
instance
(=>
(
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
如果
群体
是
群体
的
instance
和
Chromosome
是
那个 群体
的
member
类别 和
MonoploidChromosomeSet
是
MonoploidChromosomeSet
的
instance
和
那个 MonoploidChromosomeSet
是
那个 群体
的 真正的子集 和
chromosomeSetCount
那个 MonoploidChromosomeSet
,
那个 群体
and 6 和
那个 群体
是
located
在
客体
和
那个 客体
是
细胞核
的
instance
和
那个 客体
是
另一个 客体
的
part
,
然后
那个 另外 客体
是
HexaploidCell
的
instance
(=>
(
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
如果
群体
是
群体
的
instance
和
Chromosome
是
那个 群体
的
member
类别 和
MonoploidChromosomeSet
是
那个 群体
的 真正的子集 和
chromosomeSetCount
那个 MonoploidChromosomeSet
,
那个 群体
and 2 和
那个 群体
是
located
在
客体
和
那个 客体
是
细胞核
的
instance
和
那个 客体
是
另一个 客体
的
part
,
然后
那个 另外 客体
是
DiploidCell
的
instance
(=>
(
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
如果
群体
是
HomologousChromosomeSet
的
instance
和
Chromosome
是
那个 群体
的
member
类别 和
那个 群体
是
located
在
客体
和
那个 客体
是
细胞核
的
instance
和
那个 客体
是
真核细胞
的
part
和
MonoploidChromosomeSet
是
MonoploidChromosomeSet
的
instance
和
那个 MonoploidChromosomeSet
是
那个 群体
的 真正的子集,
然后
chromosomeSetCount
那个 MonoploidChromosomeSet
,
那个 群体
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
如果
群体
是
HomologousChromosomeSet
的
instance
和
Chromosome
是
那个 群体
的
member
类别 和
那个 群体
是
located
在
客体
和
那个 客体
是
细胞核
的
instance
和
那个 客体
是
真核细胞
的
part
和
MonoploidChromosomeSet
是
那个 群体
的 真正的子集 和
另一个 MonoploidChromosomeSet
是
那个 群体
的 真正的子集 和
那个 MonoploidChromosomeSet
不
equal
那个 另外 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
如果
过程
是
非常规战争
的
instance
和
政府
是
那个 过程
的
agent
和
那个 政府
不
equal
施事体
和
那个 政府
不
equal
地缘政治区域
的
Government
和
那个 施事体
是
那个 过程
的
patient
和
那个 施事体
是
那个 地缘政治区域
的
resident
的
member
或
那个 施事体
是
那个 地缘政治区域
的
resident
的 真正的子集,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
比赛
的
instance
和
那个 施事体
是
那个 另外 过程
的
agent
和
那个 地缘政治区域
的
Government
是
那个 另外 过程
的
agent
(=>
(
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
如果
群体
是
群体
的
instance
和
另一个 群体
是
群体
的
instance
和
那个 另外 群体
是
那个 群体
的 真正的子集 和 对所有
物理
如果
那个 物理
是
那个 群体
的
member
,
然后
那个 物理
是
AccessingWebPage
的
instance
和 对所有
过程
,
施事体
,, ,
另一个 过程
,, ,
那个 过程
, and 和
客体
如果
那个 施事体
是
人类
的
instance
和
那个 过程
是
购买
的
instance
和
那个 另外 过程
是
AccessingWebPage
的
instance
和
那个 客体
是
WebPage
的
instance
和
那个 另外 过程
是
那个 群体
的
member
和
那个 另外 过程
在
那个 客体
结束 和
那个 施事体
是
那个 过程
的
agent
和
那个 施事体
是
那个 另外 过程
的
agent
和
那个 过程
出现 的
time
在
那个 另外 过程
出现 的
time
时段内发生 和
那个 客体
是导致
那个 过程
的
instrument
,
然后
那个 过程
是
那个 另外 群体
的
member
,
然后 有存在
时距
,
实体
_IN_INTERVAL, and 和
另一个 实体
_IN_INTERVAL 这样
purchases
花在
那个 群体
期间
那个 时距
equal
那个 实体
_IN_INTERVAL 所描述的类别
instance
的数量 和
那个 另外 实体
_IN_INTERVAL 所描述的类别
instance
的数量
consequent
(=>
(
and
(
chromosomeSetCount
?SUB ?COLL ?I)
(
subCollection
?SUB ?COLL))
(
equal
?I
(
CardinalityFn
(
KappaFn
?I
(
subCollection
?SUB ?COLL)))))
VirusProteinAndCellPart.kif 829-836
如果
chromosomeSetCount
MonoploidChromosomeSet
,
群体
and
整数
和
那个 MonoploidChromosomeSet
是
那个 群体
的 真正的子集,
然后
那个 整数
equal
那个 整数
所描述的类别
instance
的数量
(=>
(
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
如果
客体
是
HexaploidCell
的
instance
和
另一个 客体
是
那个 客体
的
part
和
那个 另外 客体
是
细胞核
的
instance
和
群体
是
located
在
那个 另外 客体
和
那个 群体
是
群体
的
instance
和
Chromosome
是
那个 群体
的
member
类别,
然后 有存在
另一个 群体
,
第三 群体
, and 和
第四 群体
这样
那个 另外 群体
是
HomologousChromosomeSet
的
instance
和
那个 另外 群体
是
那个 群体
的 真正的子集 和
那个 第三 群体
是
HomologousChromosomeSet
的
instance
和
那个 第三 群体
是
那个 群体
的 真正的子集 和
那个 第四 群体
是
HomologousChromosomeSet
的
instance
和
那个 第四 群体
是
那个 群体
的 真正的子集 和
那个 另外 群体
不
equal
那个 第三 群体
(=>
(
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
如果
客体
是
TetraploidCell
的
instance
和
另一个 客体
是
那个 客体
的
part
和
那个 另外 客体
是
细胞核
的
instance
和
群体
是
located
在
那个 另外 客体
和
那个 群体
是
群体
的
instance
和
Chromosome
是
那个 群体
的
member
类别,
然后 有存在
另一个 群体
和
第三 群体
这样
那个 另外 群体
是
HomologousChromosomeSet
的
instance
和
那个 另外 群体
是
那个 群体
的 真正的子集 和
那个 第三 群体
是
HomologousChromosomeSet
的
instance
和
那个 第三 群体
是
那个 群体
的 真正的子集 和
那个 另外 群体
不
equal
那个 第三 群体
(=>
(
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
如果
群体
是
群体
的
instance
和
Chromosome
是
那个 群体
的
member
类别 和
客体
是
那个 群体
的
member
和
那个 客体
是
CommonWheatGrass
的
part
,
然后 有存在
另一个 群体
,
第三 群体
,, ,
另一个 有点 客体
, and 和
第三 有点 客体
这样
那个 另外 群体
是
那个 群体
的 真正的子集 和
那个 另外 群体
是
HomologousChromosomeSet
的
instance
和
另一个 有点 客体
是
那个 另外 群体
的
member
类别 和 %每个
那个 另外 有点 客体
是
EmmerWheatGrass
的
initially
part
和
那个 第三 群体
是
那个 群体
的 真正的子集 和
那个 第三 群体
是
HomologousChromosomeSet
的
instance
和
第三 有点 客体
是
那个 第三 群体
的
member
类别 和 %每个
那个 第三 有点 客体
是
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
如果
群体
是
群体
的
instance
和
Chromosome
是
那个 群体
的
member
类别 和
客体
是
那个 群体
的
member
和
那个 客体
是
DurumWheatGrass
的
part
,
然后 有存在
另一个 群体
,
第三 群体
,, ,
另一个 有点 客体
, and 和
第三 有点 客体
这样
那个 另外 群体
是
那个 群体
的 真正的子集 和
那个 另外 群体
是
HomologousChromosomeSet
的
instance
和
另一个 有点 客体
是
那个 另外 群体
的
member
类别 和 %每个
那个 另外 有点 客体
是
TriticumUrartu
的
initially
part
和
那个 第三 群体
是
那个 群体
的 真正的子集 和
那个 第三 群体
是
HomologousChromosomeSet
的
instance
和
第三 有点 客体
是
那个 第三 群体
的
member
类别 和 %每个
那个 第三 有点 客体
是
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
如果
群体
是
群体
的
instance
和
Chromosome
是
那个 群体
的
member
类别 和
客体
是
那个 群体
的
member
和
那个 客体
是
EmmerWheatGrass
的
part
,
然后 有存在
另一个 群体
,
第三 群体
,, ,
另一个 有点 客体
, and 和
第三 有点 客体
这样
那个 另外 群体
是
那个 群体
的 真正的子集 和
那个 另外 群体
是
HomologousChromosomeSet
的
instance
和
另一个 有点 客体
是
那个 另外 群体
的
member
类别 和 %每个
那个 另外 有点 客体
是
EinkornWheatGrass
的
initially
part
和
那个 第三 群体
是
那个 群体
的 真正的子集 和
那个 第三 群体
是
HomologousChromosomeSet
的
instance
和
第三 有点 客体
是
那个 第三 群体
的
member
类别 和 %每个
那个 第三 有点 客体
是
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
如果
实体
_COLL 是
群体
的
instance
和
另一个 实体
_COLL 是
群体
的
instance
和
试验
是
试验
的
instance
和
那个 实体
_COLL 是
那个 另外 实体
_COLL 的
sample
对于
那个 试验
,
然后
那个 实体
_COLL 是
那个 另外 实体
_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
整数
孩童 和
施事体
fulfills
那个 HotelReservation
,
然后 有存在
群体
和
另一个 群体
这样
那个 群体
是
一群人
的
instance
和
那个 另外 群体
是
那个 群体
的 真正的子集 和
那个 另外 群体
是
一群人
的
instance
和
人类的孩子
是
那个 另外 群体
的
member
类别 和
那个 整数
是
那个 另外 群体
的
member
计数 和
那个 群体
是个
potential
customer
对于
那个 施事体
(=>
(
memberTypeCount
?GROUP ?TYPE ?NUMBER)
(
exists
(?SUBGROUP)
(
and
(
subCollection
?SUBGROUP ?GROUP)
(
memberCount
?SUBGROUP ?NUMBER)
(
memberType
?SUBGROUP ?TYPE))))
Mid-level-ontology.kif 22671-22677
如果
群体
对于
非负整数
的
member
类别计数
类
,
然后 有存在
另一个 群体
这样
那个 另外 群体
是
那个 群体
的 真正的子集 和
那个 非负整数
是
那个 另外 群体
的
member
计数 和
那个 类
是
那个 另外 群体
的
member
类别
appearance as argument number 0
(
subCollection
AhmadiyyaSect
Islam
)
People.kif 1339-1339
Ahmadiyya教派
是
伊斯兰教
的 真正的子集
(
subCollection
AimakEthnicity
AsianEthnicity
)
People.kif 496-496
爱马克族
是
亚洲种族
的 真正的子集
(
subCollection
Anglicanism
Christianity
)
People.kif 1217-1217
英国国教
是
基督教
的 真正的子集
(
subCollection
BritishVirginIslands
VirginIslands
)
Media.kif 2602-2602
英属维尔京群岛
是
维尔京群岛
的 真正的子集
(
subCollection
DruzeSect
Islam
)
People.kif 1353-1353
德鲁兹教派
是
伊斯兰教
的 真正的子集
(
subCollection
EasternOrthodoxChristianity
Christianity
)
People.kif 1239-1239
东正教基督教
是
基督教
的 真正的子集
(
subCollection
HazaraEthnicity
AsianEthnicity
)
People.kif 535-535
哈扎拉族
是
亚洲种族
的 真正的子集
(
subCollection
IndochineseEthnicity
AsianEthnicity
)
People.kif 555-555
印度支那种族
是
亚洲种族
的 真正的子集
(
subCollection
Protestantism
Christianity
)
People.kif 1253-1253
新教
是
基督教
的 真正的子集
(
subCollection
RomanCatholicism
Christianity
)
People.kif 1267-1267
罗马天主教
是
基督教
的 真正的子集
(
subCollection
RussianEthnicity
SlavicEthnicity
)
People.kif 595-595
俄罗斯种族
是
斯拉夫民族
的 真正的子集
(
subCollection
ShiiteSect
Islam
)
People.kif 1368-1368
什叶派
是
伊斯兰教
的 真正的子集
(
subCollection
SunniSect
Islam
)
People.kif 1387-1387
逊尼派
是
伊斯兰教
的 真正的子集
(
subCollection
TurkmenEthnicity
CentralAsianTurkishEthnicity
)
People.kif 631-631
土库曼族
是
中亚土耳其种族
的 真正的子集
(
subCollection
USVirginIslands
VirginIslands
)
Media.kif 2603-2603
USVirginIslands
是
维尔京群岛
的 真正的子集
(
subCollection
UzbekEthnicity
CentralAsianTurkishEthnicity
)
People.kif 638-638
乌兹别克人的种族
是
中亚土耳其种族
的 真正的子集
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