member
(=>
(
and
(
instance
?CLUB
Club
)
(
member
?MEM1 ?CLUB)
(
member
?MEM2 ?CLUB))
(
exists
(?DESIRE)
(
and
(
desires
?MEM1 ?DESIRE)
(
desires
?MEM2 ?DESIRE))))
Mid-level-ontology.kif 944-952
Colecao
e' uma
instancia
de
Club
Agente Cognitivo
e'
membro
de
Colecao
Agente Cognitivo
e'
membro
de
Colecao
Formula
Agente Cognitivo
deseja
Formula
Agente Cognitivo
deseja
Formula
(=>
(
and
(
instance
?COLL
Collection
)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?COLL)
(
instance
?MEMBER
FinancialTransaction
))))
(
exists
(?ITEM ?BUYING)
(
equal
(
CardinalityFn
(
KappaFn
?ITEM
(
and
(
instance
?ITEM
Physical
)
(
instance
?BUYING
Buying
)
(
member
?BUYING ?COLL)
(
patient
?BUYING ?ITEM))))
(
BoughtItemsFn
?COLL))))
UXExperimentalTerms.kif 2887-2903
Colecao
e' uma
instancia
de
Colecao
Fisico
Fisico
e'
membro
de
Colecao
Fisico
e' uma
instancia
de
Transacao Financeira
Sequencia Simbolica
Entidade
o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
e'
igual
a
BoughtItemsFn
Colecao
(=>
(
and
(
instance
?COLL
Collection
)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?COLL)
(
instance
?MEMBER
WebListing
))))
(
equal
(
DivisionFn
(
CardinalityFn
(
exists
(?LISTING ?SITE ?ITEM)
(
KappaFn
?LISTING
(
and
(
instance
?LISTING
WebListing
)
(
instance
?SITE
WebSite
)
(
instance
?ITEM
Physical
)
(
member
?LISTING ?COLL)
(
patient
?LISTING ?ITEM)
(
hostedOn
?LISTING ?SITE)
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
patient
?BUYING ?ITEM)
(
eCommerceSite
?BUYING ?SITE)))))))
(
CardinalityFn
?COLL))
(
BidCountFn
?COLL)))
UXExperimentalTerms.kif 2845-2870
Colecao
e' uma
instancia
de
Colecao
Fisico
Fisico
e'
membro
de
Colecao
Fisico
e' uma
instancia
de
WebListing
o numero de
instancias
dentro de
Entidade
Entidade
and
Entidade
a
classe
descrita por
Entidade
+ o numero de
instancias
dentro de
Colecao
e'
igual
a
BidCountFn
Colecao
(=>
(
and
(
instance
?COLL
Collection
)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?COLL)
(
instance
?MEMBER
WebListing
))))
(
exists
(?BIDDING ?ITEM ?LISTING ?BIDDING)
(
equal
(
CardinalityFn
(
KappaFn
?BIDDING
(
and
(
instance
?ITEM
Physical
)
(
instance
?LISTING
WebListing
)
(
instance
?BIDDING
Bidding
)
(
member
?LISTING ?COLL)
(
objectOfBid
?BIDDING ?ITEM)
(
patient
?LISTING ?ITEM))))
(
BidCountFn
?COLL))))
UXExperimentalTerms.kif 2922-2940
Colecao
e' uma
instancia
de
Colecao
Fisico
Fisico
e'
membro
de
Colecao
Fisico
e' uma
instancia
de
WebListing
Sequencia Simbolica
Entidade
,
Entidade
and
Sequencia Simbolica
o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
e'
igual
a
BidCountFn
Colecao
(=>
(
and
(
instance
?COLL
Collection
)
(
instance
?SITE
WebSite
)
(
instance
?AGENT
AutonomousAgent
)
(
instance
?LISTING
WebListing
)
(
instance
?TIME
TimePoint
)
(
listingSeller
?LISTING ?AGENT)
(
not
(
member
?LISTING ?COLL))
(
forall
(?ITEM ?MEMBER)
(
and
(=>
(
and
(
instance
?ITEM
WebListing
)
(
member
?ITEM
(
SellersItemsFn
?AGENT ?SITE))
(
temporalPart
?TIME
(
WhenFn
?ITEM))
(
not
(
equal
?ITEM ?LISTING)))
(
member
?ITEM ?COLL))
(=>
(
member
?MEMBER ?COLL)
(
and
(
temporalPart
?TIME
(
WhenFn
?ITEM))
(
instance
?MEMBER
WebListing
))))))
(
equal
(
SellersOtherItemsFn
?AGENT ?SITE ?LISTING ?TIME) ?COLL))
UXExperimentalTerms.kif 1033-1060
Colecao
e' uma
instancia
de
Colecao
WebSite
e' uma
instancia
de
WebSite
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
WebListing
e' uma
instancia
de
WebListing
Ponto no tempo
e' uma
instancia
de
Ponto no tempo
listingSeller
WebListing
and
AutonomousAgent
WebListing
e'
membro
de
Colecao
Fisico
Fisico
Fisico
e' uma
instancia
de
WebListing
Fisico
e'
membro
de
SellersItemsFn
AutonomousAgent
and
WebSite
Ponto no tempo
e' uma &parte de
tempo
de existencia de
Fisico
Fisico
e'
igual
a
WebListing
Fisico
e'
membro
de
Colecao
Fisico
e'
membro
de
Colecao
Ponto no tempo
e' uma &parte de
tempo
de existencia de
Fisico
Fisico
e' uma
instancia
de
WebListing
SellersOtherItemsFn
AutonomousAgent
,
WebSite
,
WebListing
and
Ponto no tempo
e'
igual
a
Colecao
(=>
(
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
Colecao
e' uma
instancia
de
Colecao
memberType
Colecao
and
Chromosome
Objeto
e'
membro
de
Colecao
Objeto
e' uma &parte de
CommonWheatGrass
Colecao
Colecao
,
Objeto
and
Objeto
Colecao
e' uma
sub
-colecao de
Colecao
Colecao
e' uma
instancia
de
HomologousChromosomeSet
memberType
Colecao
and
Objeto
initialPart
Objeto
and
EmmerWheatGrass
Colecao
e' uma
sub
-colecao de
Colecao
Colecao
e' uma
instancia
de
HomologousChromosomeSet
memberType
Colecao
and
Objeto
initialPart
Objeto
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
Colecao
e' uma
instancia
de
Colecao
memberType
Colecao
and
Chromosome
Objeto
e'
membro
de
Colecao
Objeto
e' uma &parte de
DurumWheatGrass
Colecao
Colecao
,
Objeto
and
Objeto
Colecao
e' uma
sub
-colecao de
Colecao
Colecao
e' uma
instancia
de
HomologousChromosomeSet
memberType
Colecao
and
Objeto
initialPart
Objeto
and
TriticumUrartu
Colecao
e' uma
sub
-colecao de
Colecao
Colecao
e' uma
instancia
de
HomologousChromosomeSet
memberType
Colecao
and
Objeto
initialPart
Objeto
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
Colecao
e' uma
instancia
de
Colecao
memberType
Colecao
and
Chromosome
Objeto
e'
membro
de
Colecao
Objeto
e' uma &parte de
EmmerWheatGrass
Colecao
Colecao
,
Objeto
and
Objeto
Colecao
e' uma
sub
-colecao de
Colecao
Colecao
e' uma
instancia
de
HomologousChromosomeSet
memberType
Colecao
and
Objeto
initialPart
Objeto
and
EinkornWheatGrass
Colecao
e' uma
sub
-colecao de
Colecao
Colecao
e' uma
instancia
de
HomologousChromosomeSet
memberType
Colecao
and
Objeto
initialPart
Objeto
and
AegilopsGrass
(=>
(
and
(
instance
?COLL
MonoploidChromosomeSet
)
(
memberType
?COLL
Chromosome
)
(
located
?COLL ?N)
(
instance
?N
CellNucleus
)
(
part
?N
EukaryoticCell
)
(
member
?X ?COLL)
(
member
?Y ?COLL)
(
not
(
equal
?X ?Y)))
(
not
(
homologousChromosome
?X ?Y)))
VirusProteinAndCellPart.kif 719-731
Colecao
e' uma
instancia
de
MonoploidChromosomeSet
memberType
Colecao
and
Chromosome
Colecao
e'
situado
em
Objeto
Objeto
e' uma
instancia
de
CellNucleus
Objeto
e' uma &parte de
EukaryoticCell
Chromosome
e'
membro
de
Colecao
Chromosome
e'
membro
de
Colecao
Chromosome
e'
igual
a
Chromosome
homologousChromosome
Chromosome
and
Chromosome
(=>
(
and
(
instance
?CS1 ?CLASS)
(
subclass
?CLASS
CompoundSubstance
)
(
not
(
exists
(?CS2)
(
and
(
instance
?CS2 ?CLASS)
(
part
?CS2 ?CS1))))
(
molecularRatio
?ECLASS ?N ?CLASS)
(
instance
?G
Group
)
(
member
?E ?G)
(
part
?E ?CS1)
(
instance
?E ?ECLASS))
(
memberCount
?G ?N))
Cars.kif 1772-1786
Objeto
e' uma
instancia
de
Substancia Composta
Substancia Composta
e' uma
sub
-classe de
Substancia Composta
Objeto
Objeto
e' uma
instancia
de
Substancia Composta
Objeto
e' uma &parte de
Objeto
molecularRatio
Substancia Elementar
,
Numero Inteiro
and
Substancia Composta
Colecao
e' uma
instancia
de
Grupo
Objeto
e'
membro
de
Colecao
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Substancia Elementar
memberCount
Colecao
and
Numero Inteiro
(=>
(
and
(
instance
?D
Demonstration
)
(
agent
?D ?G)
(
member
?A1 ?G)
(
member
?A2 ?G))
(
exists
(?P)
(
and
(
believes
?A1 ?P)
(
believes
?A2 ?P))))
MilitaryProcesses.kif 2673-2682
Processo
e' uma
instancia
de
Demonstration
Processo
e' um
agente
de
AutonomousAgent
Agente Cognitivo
e'
membro
de
AutonomousAgent
Agente Cognitivo
e'
membro
de
AutonomousAgent
Formula
Agente Cognitivo
acredita
que
Formula
Agente Cognitivo
acredita
que
Formula
(=>
(
and
(
instance
?E
Eyebrow
)
(
attribute
?H
Healthy
)
(
part
?E ?H)
(
member
?C ?E))
(
exists
(?HAIR)
(
and
(
instance
?HAIR
Hair
)
(
part
?HAIR ?E))))
Anatomy.kif 1458-1467
Colecao
e' uma
instancia
de
Eyebrow
Healthy
e' um
atributo
de
Objeto
Colecao
e' uma &parte de
Objeto
Fisico
e'
membro
de
Colecao
Objeto
AIR
Objeto
AIR e' uma
instancia
de
Hair
Objeto
AIR e' uma &parte de
Colecao
(=>
(
and
(
instance
?E
Eyebrow
)
(
attribute
?H
Healthy
)
(
part
?E ?H)
(
member
?C ?E))
(
memberCount
?E 2))
Anatomy.kif 1450-1456
Colecao
e' uma
instancia
de
Eyebrow
Healthy
e' um
atributo
de
Objeto
Colecao
e' uma &parte de
Objeto
Fisico
e'
membro
de
Colecao
memberCount
Colecao
and 2
(=>
(
and
(
instance
?F
ComputerDirectory
)
(
member
?M ?F))
(
instance
?M
ComputerFile
))
engineering.kif 1351-1355
Colecao
e' uma
instancia
de
ComputerDirectory
Fisico
e'
membro
de
Colecao
Fisico
e' uma
instancia
de
ComputerFile
(=>
(
and
(
instance
?F
MilitaryForce
)
(
instance
?P
Human
)
(
instance
?I
Imprisoning
)
(
member
?P ?F)
(
agent
?I ?E)
(
patient
?I ?P)
(
enemy
?E ?P)
(
eventLocated
?I ?LOC)
(
attribute
?LOC
WarState
))
(
attribute
?P
PrisonerOfWar
))
MilitaryPersons.kif 285-296
Colecao
e' uma
instancia
de
MilitaryForce
AutonomousAgent
e' uma
instancia
de
Humano
Processo
e' uma
instancia
de
Imprisoning
AutonomousAgent
e'
membro
de
Colecao
Processo
e' um
agente
de
AutonomousAgent
AutonomousAgent
e' um
patient
de
Processo
enemy
AutonomousAgent
and
AutonomousAgent
eventLocated
Processo
and
Objeto
WarState
e' um
atributo
de
Objeto
PrisonerOfWar
e' um
atributo
de
AutonomousAgent
(=>
(
and
(
instance
?FS
FileSystem
)
(
member
?M ?FS))
(
instance
?M
ComputerFile
))
engineering.kif 1344-1348
Colecao
e' uma
instancia
de
FileSystem
Fisico
e'
membro
de
Colecao
Fisico
e' uma
instancia
de
ComputerFile
(=>
(
and
(
instance
?GOLGI
GolgiApparatus
)
(
member
?PART ?GOLGI))
(
instance
?PART
CellPart
))
VirusProteinAndCellPart.kif 1061-1065
Colecao
e' uma
instancia
de
GolgiApparatus
Fisico
e'
membro
de
Colecao
Fisico
e' uma
instancia
de
CellPart
(=>
(
and
(
instance
?GROUP
CellInternalMembraneGroup
)
(
member
?MEMBRANE ?GROUP))
(
instance
?MEMBRANE
CellMembraneInternal
))
VirusProteinAndCellPart.kif 1084-1088
Colecao
e' uma
instancia
de
CellInternalMembraneGroup
Fisico
e'
membro
de
Colecao
Fisico
e' uma
instancia
de
CellMembraneInternal
(=>
(
and
(
instance
?GROUP
DramaticCast
)
(
holdsDuring
?T1
(
member
?MEM ?GROUP)))
(
holdsDuring
?T1
(
attribute
?MEM
Actor
)))
Mid-level-ontology.kif 18814-18820
Entidade
e' uma
instancia
de
DramaticCast
Entidade
e'
membro
de
Entidade
vale
durante
Posicao Temporal
Actor
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
(=>
(
and
(
instance
?GROUP
Group
)
(
member
?MEMB ?GROUP))
(
instance
?MEMB
AutonomousAgent
))
Merge.kif 16228-16232
Colecao
e' uma
instancia
de
Grupo
Fisico
e'
membro
de
Colecao
Fisico
e' uma
instancia
de
AutonomousAgent
(=>
(
and
(
instance
?GROUP
GroupOfPeople
)
(
member
?MEMBER ?GROUP))
(
instance
?MEMBER
Human
))
Merge.kif 16238-16242
Colecao
e' uma
instancia
de
GroupOfPeople
Fisico
e'
membro
de
Colecao
Fisico
e' uma
instancia
de
Humano
(=>
(
and
(
instance
?GROUP
MusicalGroup
)
(
holdsDuring
?T1
(
member
?MEM ?GROUP)))
(
exists
(?M)
(
and
(
instance
?M
Musician
)
(
holdsDuring
?T1
(
attribute
?MEM ?M)))))
Media.kif 1771-1780
Entidade
e' uma
instancia
de
MusicalGroup
Entidade
e'
membro
de
Entidade
vale
durante
Posicao Temporal
Entidade
Entidade
e' uma
instancia
de
Musician
Entidade
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
(=>
(
and
(
instance
?GRP
GroupOfPeople
)
(
member
?ADULT ?GRP)
(
member
?BABY ?GRP)
(
instance
?BABY
HumanBaby
)
(
instance
?ADULT
HumanAdult
)
(
instance
?CRIB
Crib
))
(
inScopeOfInterest
?ADULT ?CRIB))
Hotel.kif 1270-1278
Colecao
e' uma
instancia
de
GroupOfPeople
Agente Cognitivo
e'
membro
de
Colecao
Fisico
e'
membro
de
Colecao
Fisico
e' uma
instancia
de
HumanBaby
Agente Cognitivo
e' uma
instancia
de
HumanAdult
Entidade
e' uma
instancia
de
Crib
Agente Cognitivo
esta'
interessado
em
Entidade
(=>
(
and
(
instance
?L
SportsLeague
)
(
member
?M ?L))
(
instance
?M
SportsTeam
))
Mid-level-ontology.kif 7023-7027
Colecao
e' uma
instancia
de
SportsLeague
Fisico
e'
membro
de
Colecao
Fisico
e' uma
instancia
de
SportsTeam
(=>
(
and
(
instance
?LGP
LargeGroupProcess
)
(
instance
?G
Collection
)
(
member
?M ?G)
(
involvedInEvent
?LGP ?M)
(
memberCount
?G ?N))
(
greaterThan
?N 10))
Mid-level-ontology.kif 7940-7947
Processo
e' uma
instancia
de
LargeGroupProcess
Colecao
e' uma
instancia
de
Colecao
Fisico
e'
membro
de
Colecao
involvedInEvent
Processo
and
Fisico
memberCount
Colecao
and
Numero Inteiro
Numero Inteiro
e'
maior
que 10
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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