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
subCollection
の数値 1 引数は
コレクション
の
instance
では %n
(
domain
subCollection
2
Collection
)
Merge.kif 1291-1291
subCollection
の数値 2 引数は
コレクション
の
instance
では %n
(
instance
subCollection
BinaryPredicate
)
Merge.kif 1288-1288
subCollection
は
2進述語
の
instance
では %n
(
instance
subCollection
PartialOrderingRelation
)
Merge.kif 1289-1289
subCollection
は
半順序関係
の
instance
では %n
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 16812-16812
subOrganization
は
subCollection
の
subrelation
では %n
(
termFormat
ChineseLanguage
subCollection
"子集")
chinese_format.kif 186-186
(
termFormat
ChineseLanguage
subCollection
"子集合")
domainEnglishFormat.kif 55712-55712
(
termFormat
ChineseTraditionalLanguage
subCollection
"子集合")
domainEnglishFormat.kif 55711-55711
(
termFormat
EnglishLanguage
subCollection
"sub collection")
domainEnglishFormat.kif 55710-55710
(
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
コレクション
は
コレクション
の 適切な
sub
-collection では %n
物理
物理
は
コレクション
の
member
では %n
物理
は
コレクション
の
member
では %n
(=>
(
and
(
chromosomeSetCount
?SUB ?COLL ?I)
(
subCollection
?SUB ?COLL))
(
equal
?I
(
CardinalityFn
(
KappaFn
?I
(
subCollection
?SUB ?COLL)))))
VirusProteinAndCellPart.kif 828-835
chromosomeSetCount
MonoploidChromosomeSet
,
コレクション
and
整数
MonoploidChromosomeSet
は
コレクション
の 適切な
sub
-collection では %n
整数
は
整数
で記述される
class
の
instances
の数 と
equal
では %n
(=>
(
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 973-983
オブジェクト
は
PentaploidCell
の
instance
では %n
オブジェクト
は
CellNucleus
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
コレクション
は
オブジェクト
に
located
して %n
コレクション
は
コレクション
の
instance
では %n
memberType
コレクション
and
Chromosome
MonoploidChromosomeSet
は
MonoploidChromosomeSet
の
instance
では %n
MonoploidChromosomeSet
は
コレクション
の 適切な
sub
-collection では %n
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 920-930
オブジェクト
は
TriploidCell
の
instance
では %n
オブジェクト
は
CellNucleus
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
コレクション
は
オブジェクト
に
located
して %n
コレクション
は
コレクション
の
instance
では %n
memberType
コレクション
and
Chromosome
MonoploidChromosomeSet
は
MonoploidChromosomeSet
の
instance
では %n
MonoploidChromosomeSet
は
コレクション
の 適切な
sub
-collection では %n
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 938-948
コレクション
は
コレクション
の
instance
では %n
memberType
コレクション
and
Chromosome
MonoploidChromosomeSet
は
MonoploidChromosomeSet
の
instance
では %n
MonoploidChromosomeSet
は
コレクション
の 適切な
sub
-collection では %n
chromosomeSetCount
MonoploidChromosomeSet
,
コレクション
and 4
コレクション
は
オブジェクト
に
located
して %n
オブジェクト
は
CellNucleus
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
TetraploidCell
の
instance
では %n
(=>
(
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 991-1001
コレクション
は
コレクション
の
instance
では %n
memberType
コレクション
and
Chromosome
MonoploidChromosomeSet
は
MonoploidChromosomeSet
の
instance
では %n
MonoploidChromosomeSet
は
コレクション
の 適切な
sub
-collection では %n
chromosomeSetCount
MonoploidChromosomeSet
,
コレクション
and 6
コレクション
は
オブジェクト
に
located
して %n
オブジェクト
は
CellNucleus
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
HexaploidCell
の
instance
では %n
(=>
(
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 895-904
コレクション
は
コレクション
の
instance
では %n
memberType
コレクション
and
Chromosome
MonoploidChromosomeSet
は
コレクション
の 適切な
sub
-collection では %n
chromosomeSetCount
MonoploidChromosomeSet
,
コレクション
and 2
コレクション
は
オブジェクト
に
located
して %n
オブジェクト
は
CellNucleus
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
DiploidCell
の
instance
では %n
(=>
(
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 865-874
コレクション
は
HomologousChromosomeSet
の
instance
では %n
memberType
コレクション
and
Chromosome
コレクション
は
オブジェクト
に
located
して %n
オブジェクト
は
CellNucleus
の
instance
では %n
オブジェクト
は
EukaryoticCell
の
part
では %n
MonoploidChromosomeSet
は
MonoploidChromosomeSet
の
instance
では %n
MonoploidChromosomeSet
は
コレクション
の 適切な
sub
-collection では %n
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 876-887
コレクション
は
HomologousChromosomeSet
の
instance
では %n
memberType
コレクション
and
Chromosome
コレクション
は
オブジェクト
に
located
して %n
オブジェクト
は
CellNucleus
の
instance
では %n
オブジェクト
は
EukaryoticCell
の
part
では %n
MonoploidChromosomeSet
は
コレクション
の 適切な
sub
-collection では %n
MonoploidChromosomeSet
は
コレクション
の 適切な
sub
-collection では %n
MonoploidChromosomeSet
は
MonoploidChromosomeSet
と
equal
では
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
工程
は
UnconventionalWarfare
の
instance
では %n
政府
は
工程
の
agent
では %n
政府
は
AutonomousAgent
と
equal
では
政府
は
地政学的地域
の
government
と
equal
では
AutonomousAgent
は
工程
の
patient
では %n
AutonomousAgent
は
ResidentFn
地政学的地域
の
member
では %n
AutonomousAgent
は
ResidentFn
地政学的地域
の 適切な
sub
-collection では %n
工程
工程
は
コンテスト
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
地政学的地域
の
government
は
工程
の
agent
では %n
(=>
(
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
では %n
コレクション
は
コレクション
の
instance
では %n
コレクション
は
コレクション
の 適切な
sub
-collection では %n
物理
物理
は
コレクション
の
member
では %n
物理
は
AccessingWebPage
の
instance
では %n
工程
AutonomousAgent
,
工程
,
工程
and
オブジェクト
AutonomousAgent
は
人[人間]
の
instance
では %n
工程
は
購買
の
instance
では %n
工程
は
AccessingWebPage
の
instance
では %n
オブジェクト
は
WebPage
の
instance
では %n
工程
は
コレクション
の
member
では %n
工程
は
オブジェクト
に
end
s %n{ない}
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
の
time
の existence は
工程
の
time
の existence の
during
に takes %n{ない}
オブジェクト
は
工程
の
instrument
では %n
工程
は
コレクション
の
member
では %n
時間間隔
エンティティー
_IN_INTERVAL and
エンティティー
_IN_INTERVAL
SCRFn
コレクション
and
時間間隔
は
エンティティー
_IN_INTERVALで記述される
class
の
instances
の数 +
エンティティー
_IN_INTERVALで記述される
class
の
instances
の数 と
equal
では %n
consequent
(=>
(
and
(
chromosomeSetCount
?SUB ?COLL ?I)
(
subCollection
?SUB ?COLL))
(
equal
?I
(
CardinalityFn
(
KappaFn
?I
(
subCollection
?SUB ?COLL)))))
VirusProteinAndCellPart.kif 828-835
chromosomeSetCount
MonoploidChromosomeSet
,
コレクション
and
整数
MonoploidChromosomeSet
は
コレクション
の 適切な
sub
-collection では %n
整数
は
整数
で記述される
class
の
instances
の数 と
equal
では %n
(=>
(
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))
(
not
(
equal
?A ?C))
(
not
(
equal
?B ?C)))))
VirusProteinAndCellPart.kif 1003-1024
オブジェクト
は
HexaploidCell
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
CellNucleus
の
instance
では %n
コレクション
は
オブジェクト
に
located
して %n
コレクション
は
コレクション
の
instance
では %n
memberType
コレクション
and
Chromosome
コレクション
コレクション
and
コレクション
コレクション
は
HomologousChromosomeSet
の
instance
では %n
コレクション
は
コレクション
の 適切な
sub
-collection では %n
コレクション
は
HomologousChromosomeSet
の
instance
では %n
コレクション
は
コレクション
の 適切な
sub
-collection では %n
コレクション
は
HomologousChromosomeSet
の
instance
では %n
コレクション
は
コレクション
の 適切な
sub
-collection では %n
コレクション
は
コレクション
と
equal
では
コレクション
は
コレクション
と
equal
では
コレクション
は
コレクション
と
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 950-965
オブジェクト
は
TetraploidCell
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
CellNucleus
の
instance
では %n
コレクション
は
オブジェクト
に
located
して %n
コレクション
は
コレクション
の
instance
では %n
memberType
コレクション
and
Chromosome
コレクション
コレクション
コレクション
は
HomologousChromosomeSet
の
instance
では %n
コレクション
は
コレクション
の 適切な
sub
-collection では %n
コレクション
は
HomologousChromosomeSet
の
instance
では %n
コレクション
は
コレクション
の 適切な
sub
-collection では %n
コレクション
は
コレクション
と
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
では %n
memberType
コレクション
and
Chromosome
オブジェクト
は
コレクション
の
member
では %n
オブジェクト
は
CommonWheatGrass
の
part
では %n
コレクション
コレクション
,
オブジェクト
and
オブジェクト
コレクション
は
コレクション
の 適切な
sub
-collection では %n
コレクション
は
HomologousChromosomeSet
の
instance
では %n
memberType
コレクション
and
オブジェクト
initialPart
オブジェクト
and
EmmerWheatGrass
コレクション
は
コレクション
の 適切な
sub
-collection では %n
コレクション
は
HomologousChromosomeSet
の
instance
では %n
memberType
コレクション
and
オブジェクト
initialPart
オブジェクト
and
AegilopsTauschii
(=>
(
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
では %n
memberType
コレクション
and
Chromosome
オブジェクト
は
コレクション
の
member
では %n
オブジェクト
は
DurumWheatGrass
の
part
では %n
コレクション
コレクション
,
オブジェクト
and
オブジェクト
コレクション
は
コレクション
の 適切な
sub
-collection では %n
コレクション
は
HomologousChromosomeSet
の
instance
では %n
memberType
コレクション
and
オブジェクト
initialPart
オブジェクト
and
TriticumUrartu
コレクション
は
コレクション
の 適切な
sub
-collection では %n
コレクション
は
HomologousChromosomeSet
の
instance
では %n
memberType
コレクション
and
オブジェクト
initialPart
オブジェクト
and
AegilopsSpeltoides
(=>
(
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
では %n
memberType
コレクション
and
Chromosome
オブジェクト
は
コレクション
の
member
では %n
オブジェクト
は
EmmerWheatGrass
の
part
では %n
コレクション
コレクション
,
オブジェクト
and
オブジェクト
コレクション
は
コレクション
の 適切な
sub
-collection では %n
コレクション
は
HomologousChromosomeSet
の
instance
では %n
memberType
コレクション
and
オブジェクト
initialPart
オブジェクト
and
EinkornWheatGrass
コレクション
は
コレクション
の 適切な
sub
-collection では %n
コレクション
は
HomologousChromosomeSet
の
instance
では %n
memberType
コレクション
and
オブジェクト
initialPart
オブジェクト
and
AegilopsGrass
(=>
(
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
では %n
エンティティー
_COLL は
コレクション
の
instance
では %n
Experimenting
は
Experimenting
の
instance
では %n
statisticalPopulation
エンティティー
_COLL,
エンティティー
_COLL and
Experimenting
エンティティー
_COLL は
エンティティー
_COLL の 適切な
sub
-collection では %n
(=>
(
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
numberChildOccupant
HotelReservation
and
整数
fulfillingEntity
AutonomousAgent
and
HotelReservation
コレクション
コレクション
コレクション
は
GroupOfPeople
の
instance
では %n
コレクション
は
コレクション
の 適切な
sub
-collection では %n
コレクション
は
GroupOfPeople
の
instance
では %n
memberType
コレクション
and
HumanChild
memberCount
コレクション
and
整数
potentialCustomer
コレクション
and
AutonomousAgent
(=>
(
memberTypeCount
?GROUP ?TYPE ?NUMBER)
(
exists
(?SUBGROUP)
(
and
(
subCollection
?SUBGROUP ?GROUP)
(
memberCount
?SUBGROUP ?NUMBER)
(
memberType
?SUBGROUP ?TYPE))))
Mid-level-ontology.kif 22723-22729
memberTypeCount
コレクション
,
クラス
and
非負整数
コレクション
コレクション
は
コレクション
の 適切な
sub
-collection では %n
memberCount
コレクション
and
非負整数
memberType
コレクション
and
クラス
appearance as argument number 0
(
subCollection
AhmadiyyaSect
Islam
)
People.kif 1339-1339
AhmadiyyaSect
は
Islam
の 適切な
sub
-collection では %n
(
subCollection
AimakEthnicity
AsianEthnicity
)
People.kif 496-496
AimakEthnicity
は
AsianEthnicity
の 適切な
sub
-collection では %n
(
subCollection
Anglicanism
Christianity
)
People.kif 1217-1217
Anglicanism
は
Christianity
の 適切な
sub
-collection では %n
(
subCollection
BritishVirginIslands
VirginIslands
)
Media.kif 2602-2602
BritishVirginIslands
は
VirginIslands
の 適切な
sub
-collection では %n
(
subCollection
DruzeSect
Islam
)
People.kif 1353-1353
DruzeSect
は
Islam
の 適切な
sub
-collection では %n
(
subCollection
EasternOrthodoxChristianity
Christianity
)
People.kif 1239-1239
EasternOrthodoxChristianity
は
Christianity
の 適切な
sub
-collection では %n
(
subCollection
HazaraEthnicity
AsianEthnicity
)
People.kif 535-535
HazaraEthnicity
は
AsianEthnicity
の 適切な
sub
-collection では %n
(
subCollection
IndochineseEthnicity
AsianEthnicity
)
People.kif 555-555
IndochineseEthnicity
は
AsianEthnicity
の 適切な
sub
-collection では %n
(
subCollection
Protestantism
Christianity
)
People.kif 1253-1253
Protestantism
は
Christianity
の 適切な
sub
-collection では %n
(
subCollection
RomanCatholicism
Christianity
)
People.kif 1267-1267
RomanCatholicism
は
Christianity
の 適切な
sub
-collection では %n
(
subCollection
RussianEthnicity
SlavicEthnicity
)
People.kif 595-595
RussianEthnicity
は
SlavicEthnicity
の 適切な
sub
-collection では %n
(
subCollection
ShiiteSect
Islam
)
People.kif 1368-1368
ShiiteSect
は
Islam
の 適切な
sub
-collection では %n
(
subCollection
SunniSect
Islam
)
People.kif 1387-1387
SunniSect
は
Islam
の 適切な
sub
-collection では %n
(
subCollection
TurkmenEthnicity
CentralAsianTurkishEthnicity
)
People.kif 631-631
TurkmenEthnicity
は
CentralAsianTurkishEthnicity
の 適切な
sub
-collection では %n
(
subCollection
USVirginIslands
VirginIslands
)
Media.kif 2603-2603
USVirginIslands
は
VirginIslands
の 適切な
sub
-collection では %n
(
subCollection
UzbekEthnicity
CentralAsianTurkishEthnicity
)
People.kif 638-638
UzbekEthnicity
は
CentralAsianTurkishEthnicity
の 適切な
sub
-collection では %n
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