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
Il numero 1 argomenti di
subCollection
è un
istanza
di
InsiemeConcreto
(
domain
subCollection
2
Collection
)
Merge.kif 1291-1291
Il numero 2 argomenti di
subCollection
è un
istanza
di
InsiemeConcreto
(
instance
subCollection
BinaryPredicate
)
Merge.kif 1288-1288
subCollection
è un'
istanza
di
PredicatoBinario
(
instance
subCollection
PartialOrderingRelation
)
Merge.kif 1289-1289
subCollection
è un'
istanza
di
RelazioneDiOrdineParziale
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 16763-16763
subOrganization
è una
sottorelazione
di
subCollection
(
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
InsiemeConcreto
è
sottoinsieme
un proprio
InsiemeConcreto
Entit�Concreta
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un
membro
di
InsiemeConcreto
(=>
(
and
(
chromosomeSetCount
?SUB ?COLL ?I)
(
subCollection
?SUB ?COLL))
(
equal
?I
(
CardinalityFn
(
KappaFn
?I
(
subCollection
?SUB ?COLL)))))
VirusProteinAndCellPart.kif 828-835
chromosomeSetCount
MonoploidChromosomeSet
,
InsiemeConcreto
and
NumeroIntero
MonoploidChromosomeSet
è
sottoinsieme
un proprio
InsiemeConcreto
NumeroIntero
is
uguale
a il numero di
istanzia
in la
classe
descritta da
NumeroIntero
(=>
(
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
Oggetto
è un'
istanza
di
PentaploidCell
Oggetto
è un'
istanza
di
CellNucleus
Oggetto
è una
parte
di
Oggetto
InsiemeConcreto
è
localizzato
in
Oggetto
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
memberType
InsiemeConcreto
and
Chromosome
MonoploidChromosomeSet
è un'
istanza
di
MonoploidChromosomeSet
MonoploidChromosomeSet
è
sottoinsieme
un proprio
InsiemeConcreto
chromosomeSetCount
MonoploidChromosomeSet
,
InsiemeConcreto
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
Oggetto
è un'
istanza
di
TriploidCell
Oggetto
è un'
istanza
di
CellNucleus
Oggetto
è una
parte
di
Oggetto
InsiemeConcreto
è
localizzato
in
Oggetto
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
memberType
InsiemeConcreto
and
Chromosome
MonoploidChromosomeSet
è un'
istanza
di
MonoploidChromosomeSet
MonoploidChromosomeSet
è
sottoinsieme
un proprio
InsiemeConcreto
chromosomeSetCount
MonoploidChromosomeSet
,
InsiemeConcreto
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
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
memberType
InsiemeConcreto
and
Chromosome
MonoploidChromosomeSet
è un'
istanza
di
MonoploidChromosomeSet
MonoploidChromosomeSet
è
sottoinsieme
un proprio
InsiemeConcreto
chromosomeSetCount
MonoploidChromosomeSet
,
InsiemeConcreto
and 4
InsiemeConcreto
è
localizzato
in
Oggetto
Oggetto
è un'
istanza
di
CellNucleus
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
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 991-1001
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
memberType
InsiemeConcreto
and
Chromosome
MonoploidChromosomeSet
è un'
istanza
di
MonoploidChromosomeSet
MonoploidChromosomeSet
è
sottoinsieme
un proprio
InsiemeConcreto
chromosomeSetCount
MonoploidChromosomeSet
,
InsiemeConcreto
and 6
InsiemeConcreto
è
localizzato
in
Oggetto
Oggetto
è un'
istanza
di
CellNucleus
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
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 895-904
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
memberType
InsiemeConcreto
and
Chromosome
MonoploidChromosomeSet
è
sottoinsieme
un proprio
InsiemeConcreto
chromosomeSetCount
MonoploidChromosomeSet
,
InsiemeConcreto
and 2
InsiemeConcreto
è
localizzato
in
Oggetto
Oggetto
è un'
istanza
di
CellNucleus
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
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 865-874
InsiemeConcreto
è un'
istanza
di
HomologousChromosomeSet
memberType
InsiemeConcreto
and
Chromosome
InsiemeConcreto
è
localizzato
in
Oggetto
Oggetto
è un'
istanza
di
CellNucleus
Oggetto
è una
parte
di
EukaryoticCell
MonoploidChromosomeSet
è un'
istanza
di
MonoploidChromosomeSet
MonoploidChromosomeSet
è
sottoinsieme
un proprio
InsiemeConcreto
chromosomeSetCount
MonoploidChromosomeSet
,
InsiemeConcreto
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
InsiemeConcreto
è un'
istanza
di
HomologousChromosomeSet
memberType
InsiemeConcreto
and
Chromosome
InsiemeConcreto
è
localizzato
in
Oggetto
Oggetto
è un'
istanza
di
CellNucleus
Oggetto
è una
parte
di
EukaryoticCell
MonoploidChromosomeSet
è
sottoinsieme
un proprio
InsiemeConcreto
MonoploidChromosomeSet
è
sottoinsieme
un proprio
InsiemeConcreto
MonoploidChromosomeSet
is
uguale
a
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
Processo
è un'
istanza
di
UnconventionalWarfare
Processo
è un
agente
di
Governo
Governo
is
uguale
a
AutonomousAgent
Governo
is
uguale
a
GovernmentFn
AreaGeopolitica
AutonomousAgent
è un
paziente
di
Processo
AutonomousAgent
è un
membro
di
ResidentFn
AreaGeopolitica
AutonomousAgent
è
sottoinsieme
un proprio
ResidentFn
AreaGeopolitica
Processo
Processo
è un'
istanza
di
Competizione
Processo
è un
agente
di
AutonomousAgent
Processo
è un
agente
di
GovernmentFn
AreaGeopolitica
(=>
(
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
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
InsiemeConcreto
è
sottoinsieme
un proprio
InsiemeConcreto
Entit�Concreta
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
AccessingWebPage
Processo
AutonomousAgent
,
Processo
,
Processo
and
Oggetto
AutonomousAgent
è un'
istanza
di
Umano
Processo
è un'
istanza
di
Acquistare
Processo
è un'
istanza
di
AccessingWebPage
Oggetto
è un'
istanza
di
WebPage
Processo
è un
membro
di
InsiemeConcreto
Processo
fine
s in
Oggetto
Processo
è un
agente
di
AutonomousAgent
Processo
è un
agente
di
AutonomousAgent
il
tempo
di esistenza di
Processo
has luogo
durante
il
tempo
di esistenza di
Processo
Oggetto
è uno
strumento
per
Processo
Processo
è un
membro
di
InsiemeConcreto
IntervalloTemporale
Entit�
_IN_INTERVAL and
Entit�
_IN_INTERVAL
SCRFn
InsiemeConcreto
and
IntervalloTemporale
is
uguale
a il numero di
istanzia
in la
classe
descritta da
Entit�
_IN_INTERVAL + il numero di
istanzia
in la
classe
descritta da
Entit�
_IN_INTERVAL
consequent
(=>
(
and
(
chromosomeSetCount
?SUB ?COLL ?I)
(
subCollection
?SUB ?COLL))
(
equal
?I
(
CardinalityFn
(
KappaFn
?I
(
subCollection
?SUB ?COLL)))))
VirusProteinAndCellPart.kif 828-835
chromosomeSetCount
MonoploidChromosomeSet
,
InsiemeConcreto
and
NumeroIntero
MonoploidChromosomeSet
è
sottoinsieme
un proprio
InsiemeConcreto
NumeroIntero
is
uguale
a il numero di
istanzia
in la
classe
descritta da
NumeroIntero
(=>
(
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 1003-1022
Oggetto
è un'
istanza
di
HexaploidCell
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
CellNucleus
InsiemeConcreto
è
localizzato
in
Oggetto
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
memberType
InsiemeConcreto
and
Chromosome
InsiemeConcreto
InsiemeConcreto
and
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
HomologousChromosomeSet
InsiemeConcreto
è
sottoinsieme
un proprio
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
HomologousChromosomeSet
InsiemeConcreto
è
sottoinsieme
un proprio
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
HomologousChromosomeSet
InsiemeConcreto
è
sottoinsieme
un proprio
InsiemeConcreto
InsiemeConcreto
is
uguale
a
InsiemeConcreto
(=>
(
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
Oggetto
è un'
istanza
di
TetraploidCell
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
CellNucleus
InsiemeConcreto
è
localizzato
in
Oggetto
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
memberType
InsiemeConcreto
and
Chromosome
InsiemeConcreto
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
HomologousChromosomeSet
InsiemeConcreto
è
sottoinsieme
un proprio
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
HomologousChromosomeSet
InsiemeConcreto
è
sottoinsieme
un proprio
InsiemeConcreto
InsiemeConcreto
is
uguale
a
InsiemeConcreto
(=>
(
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
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
memberType
InsiemeConcreto
and
Chromosome
Oggetto
è un
membro
di
InsiemeConcreto
Oggetto
è una
parte
di
CommonWheatGrass
InsiemeConcreto
InsiemeConcreto
,
Oggetto
and
Oggetto
InsiemeConcreto
è
sottoinsieme
un proprio
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
HomologousChromosomeSet
memberType
InsiemeConcreto
and
Oggetto
initialPart
Oggetto
and
EmmerWheatGrass
InsiemeConcreto
è
sottoinsieme
un proprio
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
HomologousChromosomeSet
memberType
InsiemeConcreto
and
Oggetto
initialPart
Oggetto
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
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
memberType
InsiemeConcreto
and
Chromosome
Oggetto
è un
membro
di
InsiemeConcreto
Oggetto
è una
parte
di
DurumWheatGrass
InsiemeConcreto
InsiemeConcreto
,
Oggetto
and
Oggetto
InsiemeConcreto
è
sottoinsieme
un proprio
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
HomologousChromosomeSet
memberType
InsiemeConcreto
and
Oggetto
initialPart
Oggetto
and
TriticumUrartu
InsiemeConcreto
è
sottoinsieme
un proprio
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
HomologousChromosomeSet
memberType
InsiemeConcreto
and
Oggetto
initialPart
Oggetto
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
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
memberType
InsiemeConcreto
and
Chromosome
Oggetto
è un
membro
di
InsiemeConcreto
Oggetto
è una
parte
di
EmmerWheatGrass
InsiemeConcreto
InsiemeConcreto
,
Oggetto
and
Oggetto
InsiemeConcreto
è
sottoinsieme
un proprio
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
HomologousChromosomeSet
memberType
InsiemeConcreto
and
Oggetto
initialPart
Oggetto
and
EinkornWheatGrass
InsiemeConcreto
è
sottoinsieme
un proprio
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
HomologousChromosomeSet
memberType
InsiemeConcreto
and
Oggetto
initialPart
Oggetto
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
Entit�
_COLL è un'
istanza
di
InsiemeConcreto
Entit�
_COLL è un'
istanza
di
InsiemeConcreto
Experimenting
è un'
istanza
di
Experimenting
statisticalPopulation
Entit�
_COLL,
Entit�
_COLL and
Experimenting
Entit�
_COLL è
sottoinsieme
un proprio
Entit�
_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
numberChildOccupant
HotelReservation
and
NumeroIntero
fulfillingEntity
AutonomousAgent
and
HotelReservation
InsiemeConcreto
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
GroupOfPeople
InsiemeConcreto
è
sottoinsieme
un proprio
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
GroupOfPeople
memberType
InsiemeConcreto
and
HumanChild
memberCount
InsiemeConcreto
and
NumeroIntero
potentialCustomer
InsiemeConcreto
and
AutonomousAgent
(=>
(
memberTypeCount
?GROUP ?TYPE ?NUMBER)
(
exists
(?SUBGROUP)
(
and
(
subCollection
?SUBGROUP ?GROUP)
(
memberCount
?SUBGROUP ?NUMBER)
(
memberType
?SUBGROUP ?TYPE))))
Mid-level-ontology.kif 22670-22676
memberTypeCount
InsiemeConcreto
,
Classe
and
NumeroInteroNonNegativo
InsiemeConcreto
InsiemeConcreto
è
sottoinsieme
un proprio
InsiemeConcreto
memberCount
InsiemeConcreto
and
NumeroInteroNonNegativo
memberType
InsiemeConcreto
and
Classe
appearance as argument number 0
(
subCollection
AhmadiyyaSect
Islam
)
People.kif 1339-1339
AhmadiyyaSect
è
sottoinsieme
un proprio
Islam
(
subCollection
AimakEthnicity
AsianEthnicity
)
People.kif 496-496
AimakEthnicity
è
sottoinsieme
un proprio
AsianEthnicity
(
subCollection
Anglicanism
Christianity
)
People.kif 1217-1217
Anglicanism
è
sottoinsieme
un proprio
Christianity
(
subCollection
BritishVirginIslands
VirginIslands
)
Media.kif 2602-2602
BritishVirginIslands
è
sottoinsieme
un proprio
VirginIslands
(
subCollection
DruzeSect
Islam
)
People.kif 1353-1353
DruzeSect
è
sottoinsieme
un proprio
Islam
(
subCollection
EasternOrthodoxChristianity
Christianity
)
People.kif 1239-1239
EasternOrthodoxChristianity
è
sottoinsieme
un proprio
Christianity
(
subCollection
HazaraEthnicity
AsianEthnicity
)
People.kif 535-535
HazaraEthnicity
è
sottoinsieme
un proprio
AsianEthnicity
(
subCollection
IndochineseEthnicity
AsianEthnicity
)
People.kif 555-555
IndochineseEthnicity
è
sottoinsieme
un proprio
AsianEthnicity
(
subCollection
Protestantism
Christianity
)
People.kif 1253-1253
Protestantism
è
sottoinsieme
un proprio
Christianity
(
subCollection
RomanCatholicism
Christianity
)
People.kif 1267-1267
RomanCatholicism
è
sottoinsieme
un proprio
Christianity
(
subCollection
RussianEthnicity
SlavicEthnicity
)
People.kif 595-595
RussianEthnicity
è
sottoinsieme
un proprio
SlavicEthnicity
(
subCollection
ShiiteSect
Islam
)
People.kif 1368-1368
ShiiteSect
è
sottoinsieme
un proprio
Islam
(
subCollection
SunniSect
Islam
)
People.kif 1387-1387
SunniSect
è
sottoinsieme
un proprio
Islam
(
subCollection
TurkmenEthnicity
CentralAsianTurkishEthnicity
)
People.kif 631-631
TurkmenEthnicity
è
sottoinsieme
un proprio
CentralAsianTurkishEthnicity
(
subCollection
USVirginIslands
VirginIslands
)
Media.kif 2603-2603
USVirginIslands
è
sottoinsieme
un proprio
VirginIslands
(
subCollection
UzbekEthnicity
CentralAsianTurkishEthnicity
)
People.kif 638-638
UzbekEthnicity
è
sottoinsieme
un proprio
CentralAsianTurkishEthnicity
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