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
The number 1 argument of
sub collection
is an
instance
of
collection
(
domain
subCollection
2
Collection
)
Merge.kif 1291-1291
The number 2 argument of
sub collection
is an
instance
of
collection
(
instance
subCollection
BinaryPredicate
)
Merge.kif 1288-1288
sub collection
is an
instance
of
binary predicate
(
instance
subCollection
PartialOrderingRelation
)
Merge.kif 1289-1289
sub collection
is an
instance
of
partial ordering relation
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
sub organization
is a
subrelation
of
sub collection
(
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
A collection
is a proper
sub
-collection of
another collection
if and only if for all
a physical
if
the physical
is a
member
of
the collection
,
then
the physical
is a
member
of
the other collection
(=>
(
and
(
chromosomeSetCount
?SUB ?COLL ?I)
(
subCollection
?SUB ?COLL))
(
equal
?I
(
CardinalityFn
(
KappaFn
?I
(
subCollection
?SUB ?COLL)))))
VirusProteinAndCellPart.kif 829-836
If There are
an integer
number of
a monoploid chromosome set
MonoploidChromosomeSet in
Collection
a collection
. and
the monoploid chromosome set
is a proper
sub
-collection of
the collection
,
then
the integer
is
equal
to the number of
instances
in the
class
described by
the integer
(=>
(
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
If
an object
is an
instance
of
pentaploid cell
and
another object
is an
instance
of
cell nucleus
and
the other object
is a
part
of
the object
and
a collection
is
located
at
the other object
and
the collection
is an
instance
of
collection
and
Chromosome
is a
member
type of
the collection
and
a monoploid chromosome set
is an
instance
of
monoploid chromosome set
and
the monoploid chromosome set
is a proper
sub
-collection of
the collection
,
then There are 5 number of
the monoploid chromosome set
MonoploidChromosomeSet in
Collection
the collection
.
(=>
(
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
If
an object
is an
instance
of
triploid cell
and
another object
is an
instance
of
cell nucleus
and
the other object
is a
part
of
the object
and
a collection
is
located
at
the other object
and
the collection
is an
instance
of
collection
and
Chromosome
is a
member
type of
the collection
and
a monoploid chromosome set
is an
instance
of
monoploid chromosome set
and
the monoploid chromosome set
is a proper
sub
-collection of
the collection
,
then There are 3 number of
the monoploid chromosome set
MonoploidChromosomeSet in
Collection
the collection
.
(=>
(
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
If
a collection
is an
instance
of
collection
and
Chromosome
is a
member
type of
the collection
and
a monoploid chromosome set
is an
instance
of
monoploid chromosome set
and
the monoploid chromosome set
is a proper
sub
-collection of
the collection
and There are 4 number of
the monoploid chromosome set
MonoploidChromosomeSet in
Collection
the collection
. and
the collection
is
located
at
an object
and
the object
is an
instance
of
cell nucleus
and
the object
is a
part
of
another object
,
then
the other object
is an
instance
of
tetraploid cell
(=>
(
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
If
a collection
is an
instance
of
collection
and
Chromosome
is a
member
type of
the collection
and
a monoploid chromosome set
is an
instance
of
monoploid chromosome set
and
the monoploid chromosome set
is a proper
sub
-collection of
the collection
and There are 6 number of
the monoploid chromosome set
MonoploidChromosomeSet in
Collection
the collection
. and
the collection
is
located
at
an object
and
the object
is an
instance
of
cell nucleus
and
the object
is a
part
of
another object
,
then
the other object
is an
instance
of
hexaploid cell
(=>
(
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
If
a collection
is an
instance
of
collection
and
Chromosome
is a
member
type of
the collection
and
a monoploid chromosome set
is a proper
sub
-collection of
the collection
and There are 2 number of
the monoploid chromosome set
MonoploidChromosomeSet in
Collection
the collection
. and
the collection
is
located
at
an object
and
the object
is an
instance
of
cell nucleus
and
the object
is a
part
of
another object
,
then
the other object
is an
instance
of
diploid cell
(=>
(
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
If
a collection
is an
instance
of
homologous chromosome set
and
Chromosome
is a
member
type of
the collection
and
the collection
is
located
at
an object
and
the object
is an
instance
of
cell nucleus
and
the object
is a
part
of
eukaryotic cell
and
a monoploid chromosome set
is an
instance
of
monoploid chromosome set
and
the monoploid chromosome set
is a proper
sub
-collection of
the collection
,
then There are 2 number of
the monoploid chromosome set
MonoploidChromosomeSet in
Collection
the collection
.
(=>
(
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
If
a collection
is an
instance
of
homologous chromosome set
and
Chromosome
is a
member
type of
the collection
and
the collection
is
located
at
an object
and
the object
is an
instance
of
cell nucleus
and
the object
is a
part
of
eukaryotic cell
and
a monoploid chromosome set
is a proper
sub
-collection of
the collection
and
another monoploid chromosome set
is a proper
sub
-collection of
the collection
and
the monoploid chromosome set
is not
equal
to
the other monoploid chromosome set
,
then members of
MonoploidChromosomeSet
the monoploid chromosome set
and members of
MonoploidChromosomeSet
the other monoploid chromosome set
are
homologoousChromosome
pairs.
(=>
(
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
If
a process
is an
instance
of
unconventional warfare
and
a government
is an
agent
of
the process
and
the government
is not
equal
to
an agent
and
the government
is not
equal
to the
government
of
a geopolitical area
and
the agent
is a
patient
of
the process
and
the agent
is a
member
of the
resident
of
the geopolitical area
or
the agent
is a proper
sub
-collection of the
resident
of
the geopolitical area
,
then there exists
another process
such that
the other process
is an
instance
of
contest
and
the agent
is an
agent
of
the other process
and the
government
of
the geopolitical area
is an
agent
of
the other process
(=>
(
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
If
a collection
is an
instance
of
collection
and
another collection
is an
instance
of
collection
and
the other collection
is a proper
sub
-collection of
the collection
and for all
a physical
if
the physical
is a
member
of
the collection
,
then
the physical
is an
instance
of
accessing web page
and for all
a process
,
an agent
,, ,
another process
,, ,
the process
and
an object
if
the agent
is an
instance
of
human
and
the process
is an
instance
of
buying
and
the other process
is an
instance
of
accessing web page
and
the object
is an
instance
of
web page
and
the other process
is a
member
of
the collection
and
the other process
end
s up at
the object
and
the agent
is an
agent
of
the process
and
the agent
is an
agent
of
the other process
and the
time
of existence of
the process
takes place
during
the
time
of existence of
the other process
and
the object
is an
instrument
for
the process
,
then
the process
is a
member
of
the other collection
,
then there exist
a time interval
,
an entity
_IN_INTERVAL and
another entity
_IN_INTERVAL such that
purchases
made in
the collection
during
the time interval
is
equal
to the number of
instances
in the
class
described by
the entity
_IN_INTERVAL and the number of
instances
in the
class
described by
the other entity
_IN_INTERVAL
consequent
(=>
(
and
(
chromosomeSetCount
?SUB ?COLL ?I)
(
subCollection
?SUB ?COLL))
(
equal
?I
(
CardinalityFn
(
KappaFn
?I
(
subCollection
?SUB ?COLL)))))
VirusProteinAndCellPart.kif 829-836
If There are
an integer
number of
a monoploid chromosome set
MonoploidChromosomeSet in
Collection
a collection
. and
the monoploid chromosome set
is a proper
sub
-collection of
the collection
,
then
the integer
is
equal
to the number of
instances
in the
class
described by
the integer
(=>
(
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
If
an object
is an
instance
of
hexaploid cell
and
another object
is a
part
of
the object
and
the other object
is an
instance
of
cell nucleus
and
a collection
is
located
at
the other object
and
the collection
is an
instance
of
collection
and
Chromosome
is a
member
type of
the collection
,
then there exist
another collection
,
a third collection
and
a fourth collection
such that
the other collection
is an
instance
of
homologous chromosome set
and
the other collection
is a proper
sub
-collection of
the collection
and
the third collection
is an
instance
of
homologous chromosome set
and
the third collection
is a proper
sub
-collection of
the collection
and
the fourth collection
is an
instance
of
homologous chromosome set
and
the fourth collection
is a proper
sub
-collection of
the collection
and
the other collection
is not
equal
to
the third 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
If
an object
is an
instance
of
tetraploid cell
and
another object
is a
part
of
the object
and
the other object
is an
instance
of
cell nucleus
and
a collection
is
located
at
the other object
and
the collection
is an
instance
of
collection
and
Chromosome
is a
member
type of
the collection
,
then there exist
another collection
and
a third collection
such that
the other collection
is an
instance
of
homologous chromosome set
and
the other collection
is a proper
sub
-collection of
the collection
and
the third collection
is an
instance
of
homologous chromosome set
and
the third collection
is a proper
sub
-collection of
the collection
and
the other collection
is not
equal
to
the third 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
If
a collection
is an
instance
of
collection
and
Chromosome
is a
member
type of
the collection
and
an object
is a
member
of
the collection
and
the object
is a
part
of
common wheat grass
,
then there exist
another collection
,
a third collection
,, ,
another kind of object
and
a third kind of object
such that
the other collection
is a proper
sub
-collection of
the collection
and
the other collection
is an
instance
of
homologous chromosome set
and
another kind of object
is a
member
type of
the other collection
and every
the other kind of object
is
initially
part
of a
emmer wheat grass
and
the third collection
is a proper
sub
-collection of
the collection
and
the third collection
is an
instance
of
homologous chromosome set
and
a third kind of object
is a
member
type of
the third collection
and every
the third kind of object
is
initially
part
of a
Aegilops Tauschii
(=>
(
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
If
a collection
is an
instance
of
collection
and
Chromosome
is a
member
type of
the collection
and
an object
is a
member
of
the collection
and
the object
is a
part
of
durum wheat grass
,
then there exist
another collection
,
a third collection
,, ,
another kind of object
and
a third kind of object
such that
the other collection
is a proper
sub
-collection of
the collection
and
the other collection
is an
instance
of
homologous chromosome set
and
another kind of object
is a
member
type of
the other collection
and every
the other kind of object
is
initially
part
of a
Triticum urartu
and
the third collection
is a proper
sub
-collection of
the collection
and
the third collection
is an
instance
of
homologous chromosome set
and
a third kind of object
is a
member
type of
the third collection
and every
the third kind of object
is
initially
part
of a
Aegilops Speltoides
(=>
(
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
If
a collection
is an
instance
of
collection
and
Chromosome
is a
member
type of
the collection
and
an object
is a
member
of
the collection
and
the object
is a
part
of
emmer wheat grass
,
then there exist
another collection
,
a third collection
,, ,
another kind of object
and
a third kind of object
such that
the other collection
is a proper
sub
-collection of
the collection
and
the other collection
is an
instance
of
homologous chromosome set
and
another kind of object
is a
member
type of
the other collection
and every
the other kind of object
is
initially
part
of a
einkorn wheat grass
and
the third collection
is a proper
sub
-collection of
the collection
and
the third collection
is an
instance
of
homologous chromosome set
and
a third kind of object
is a
member
type of
the third collection
and every
the third kind of object
is
initially
part
of a
Aegilops grass
(=>
(
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
If
an entity
_COLL is an
instance
of
collection
and
another entity
_COLL is an
instance
of
collection
and
an experimenting
is an
instance
of
experimenting
and
the entity
_COLL is a
sample
of
the other entity
_COLL for
the experimenting
,
then
the entity
_COLL is a proper
sub
-collection of
the other 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
If
a hotel reservation
may
have
an integer
children and
an agent
fulfills
the hotel reservation
,
then there exist
a collection
and
another collection
such that
the collection
is an
instance
of
group of people
and
the other collection
is a proper
sub
-collection of
the collection
and
the other collection
is an
instance
of
group of people
and
human child
is a
member
type of
the other collection
and
the integer
is a
member
count of
the other collection
and
the collection
is a
potential
customer
for
the agent
(=>
(
memberTypeCount
?GROUP ?TYPE ?NUMBER)
(
exists
(?SUBGROUP)
(
and
(
subCollection
?SUBGROUP ?GROUP)
(
memberCount
?SUBGROUP ?NUMBER)
(
memberType
?SUBGROUP ?TYPE))))
Mid-level-ontology.kif 22671-22677
If
a collection
is
member
type count
a class
for
a nonnegative integer
,
then there exists
another collection
such that
the other collection
is a proper
sub
-collection of
the collection
and
the nonnegative integer
is a
member
count of
the other collection
and
the class
is a
member
type of
the other collection
appearance as argument number 0
(
subCollection
AhmadiyyaSect
Islam
)
People.kif 1339-1339
Ahmadiyya sect
is a proper
sub
-collection of
islam
(
subCollection
AimakEthnicity
AsianEthnicity
)
People.kif 496-496
Aimak ethnicity
is a proper
sub
-collection of
asian ethnicity
(
subCollection
Anglicanism
Christianity
)
People.kif 1217-1217
Anglicanism
is a proper
sub
-collection of
christianity
(
subCollection
BritishVirginIslands
VirginIslands
)
Media.kif 2602-2602
British virgin islands
is a proper
sub
-collection of
virgin islands
(
subCollection
DruzeSect
Islam
)
People.kif 1353-1353
Druze sect
is a proper
sub
-collection of
islam
(
subCollection
EasternOrthodoxChristianity
Christianity
)
People.kif 1239-1239
Eastern orthodox christianity
is a proper
sub
-collection of
christianity
(
subCollection
HazaraEthnicity
AsianEthnicity
)
People.kif 535-535
Hazara ethnicity
is a proper
sub
-collection of
asian ethnicity
(
subCollection
IndochineseEthnicity
AsianEthnicity
)
People.kif 555-555
Indochinese ethnicity
is a proper
sub
-collection of
asian ethnicity
(
subCollection
Protestantism
Christianity
)
People.kif 1253-1253
Protestantism
is a proper
sub
-collection of
christianity
(
subCollection
RomanCatholicism
Christianity
)
People.kif 1267-1267
Roman catholicism
is a proper
sub
-collection of
christianity
(
subCollection
RussianEthnicity
SlavicEthnicity
)
People.kif 595-595
Russian ethnicity
is a proper
sub
-collection of
slavic ethnicity
(
subCollection
ShiiteSect
Islam
)
People.kif 1368-1368
Shiite sect
is a proper
sub
-collection of
islam
(
subCollection
SunniSect
Islam
)
People.kif 1387-1387
Sunni sect
is a proper
sub
-collection of
islam
(
subCollection
TurkmenEthnicity
CentralAsianTurkishEthnicity
)
People.kif 631-631
Turkmen ethnicity
is a proper
sub
-collection of
central asian turkish ethnicity
(
subCollection
USVirginIslands
VirginIslands
)
Media.kif 2603-2603
US virgin islands
is a proper
sub
-collection of
virgin islands
(
subCollection
UzbekEthnicity
CentralAsianTurkishEthnicity
)
People.kif 638-638
Uzbek ethnicity
is a proper
sub
-collection of
central asian turkish ethnicity
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