patient
(=>
(
and
(
buys
?CUST ?AGENT ?ITEM)
(
instance
?ITEM
Proposition
))
(
exists
(?TRANS ?PROC)
(
and
(
agent
?TRANS ?CUST)
(
realization
?PROC ?ITEM)
(
instance
?TRANS
Buying
)
(
patient
?TRANS ?PROC)
(
origin
?TRANS ?AGENT))))
Mid-level-ontology.kif 29974-29984
buys
Agente Cognitivo
,
AutonomousAgent
and
Proposicao
Proposicao
e' uma
instancia
de
Proposicao
Processo
Processo
Processo
e' um
agente
de
Agente Cognitivo
Processo
exprime
o conteudo de
Proposicao
Processo
e' uma
instancia
de
Comprar
Processo
e' um
patient
de
Processo
Processo
tem como
origem
AutonomousAgent
(=>
(
and
(
capability
ValetParking
agent
?AGENT)
(
customer
?CUST ?AGENT)
(
located
?AGENT ?LOC)
(
instance
?D
Arriving
)
(
agent
?D ?CUST)
(
patient
?D ?VEHICLE)
(
destination
?D ?LOC))
(
exists
(?VALET)
(
and
(
occupiesPosition
?VALET
Valet
?AGENT)
(
modalAttribute
(
exists
(?VP ?PARK)
(
and
(
instance
?VP
ValetParking
)
(
agent
?VP ?VALET)
(
patient
?VP ?VEHICLE)
(
destination
?VP ?PARK)
(
instance
?PARK
ParkingRegion
)))
Possibility
))))
TransportDetail.kif 153-172
Organizacao
e'
capaz
de fazer
ValetParking
no role
agent
customer
Agente Cognitivo
and
Organizacao
Organizacao
e'
situado
em
Objeto
Processo
e' uma
instancia
de
Arriving
Processo
e' um
agente
de
Agente Cognitivo
Entidade
e' um
patient
de
Processo
Processo
termina
em
Objeto
Humano
Humano
ocupa a
posicao
de
Valet
Organizacao
o argumento
Entidade
Entidade
Entidade
e' uma
instancia
de
ValetParking
Entidade
e' um
agente
de
Humano
Entidade
e' um
patient
de
Entidade
Entidade
termina
em
Entidade
Entidade
e' uma
instancia
de
ParkingRegion
tem a
forca
modal
de
Possibility
(=>
(
and
(
cardCode
?Code ?Card)
(
cardAccount
?Card ?Account))
(
exists
(?Encoding)
(
and
(
instance
?Encoding
Encoding
)
(
patient
?Encoding ?Account))))
FinancialOntology.kif 3504-3511
cardCode
Objeto Representendo Conteudo Abstrato
and
BankCard
cardAccount
BankCard
and
FinancialAccount
Processo
Processo
e' uma
instancia
de
Codificar
FinancialAccount
e' um
patient
de
Processo
(=>
(
and
(
checkOutTime
?HOTEL ?TIME)
(
guest
?GUEST ?HOTEL))
(
expects
?HOTEL
(
exists
(?T ?C)
(
and
(
instance
?T ?TIME)
(
patient
?C ?GUEST)
(
instance
?C
CheckOutService
)
(
agent
?C ?HOTEL)
(
before
(
BeginFn
(
WhenFn
?C)) ?T)))))
Hotel.kif 684-695
checkOutTime
Agente Cognitivo
and
Ponto no tempo
guest
Agente Cognitivo
and
Agente Cognitivo
expects
Agente Cognitivo
and
Entidade
Entidade
Entidade
e' uma
instancia
de
Ponto no tempo
Agente Cognitivo
e' um
patient
de
Entidade
Entidade
e' uma
instancia
de
CheckOutService
Entidade
e' um
agente
de
Agente Cognitivo
o
comeco
de
tempo
de existencia de
Entidade
comeca
antes
de
Entidade
(=>
(
and
(
customer
?CUST ?AGENT)
(
propertyAmenity
?AGENT ?PHYS)
(
subclass
?PHYS
Object
)
(
instance
?X ?PHYS))
(
confersRight
(
exists
(?PROC)
(
and
(
instance
?PROC
Process
)
(
or
(
resource
?PROC ?X)
(
instrument
?PROC ?X)
(
patient
?PROC ?X))
(
or
(
agent
?PROC ?CUST)
(
experiencer
?PROC ?CUST)))) ?AGENT ?CUST))
Hotel.kif 504-520
customer
Agente Cognitivo
and
AutonomousAgent
propertyAmenity
AutonomousAgent
and
Fisico
Fisico
e' uma
sub
-classe de
Objeto
Entidade
e' uma
instancia
de
Fisico
AutonomousAgent
autoriza
Agente Cognitivo
a executar tarefas de tipo
Entidade
Entidade
e' uma
instancia
de
Processo
Entidade
e' um
recurso
para
Entidade
Entidade
e' um
instrumento
para
Entidade
Entidade
e' um
patient
de
Entidade
Entidade
e' um
agente
de
Agente Cognitivo
Agente Cognitivo
experimenta
Entidade
(=>
(
and
(
customer
?CUST ?AGENT)
(
propertyAmenity
?AGENT ?PHYS)
(
subclass
?PHYS
Process
))
(
modalAttribute
(
exists
(?S ?LOC ?PROC)
(
and
(
element
?LOC
(
PropertyFn
?AGENT))
(
agent
?S ?AGENT)
(
patient
?S ?CUST)
(
or
(
instance
?S ?PHYS)
(
and
(
instance
?PROC ?PHYS)
(
subProcess
?S ?PROC)))
(
located
?S ?LOC)))
Possibility
))
Hotel.kif 522-538
customer
Agente Cognitivo
and
AutonomousAgent
propertyAmenity
AutonomousAgent
and
Fisico
Fisico
e' uma
sub
-classe de
Processo
o argumento
Entidade
Entidade
and
Entidade
Entidade
e' um
elemento
de
propriedade
de
AutonomousAgent
Entidade
e' um
agente
de
AutonomousAgent
Agente Cognitivo
e' um
patient
de
Entidade
Entidade
e' uma
instancia
de
Fisico
Entidade
e' uma
instancia
de
Fisico
Entidade
e' um
sub
-processo de
Entidade
Entidade
e'
situado
em
Entidade
tem a
forca
modal
de
Possibility
(=>
(
and
(
equal
(
MeasureFn
?Y
McgPerKg
)
(
PerFn
?M1 ?M2))
(
equal
?M1
(
MeasureFn
?NUM1
(
MicroFn
Gram
)))
(
equal
?M2
(
MeasureFn
?NUM2
(
KiloFn
Gram
))))
(
exists
(?I ?B ?A)
(
and
(
instance
?I
Ingesting
)
(
instance
?B
BiologicallyActiveSubstance
)
(
instance
?A
Organism
)
(
patient
?I ?B)
(
agent
?I ?A)
(
weight
?B ?M1)
(
weight
?A ?M2))))
WMD.kif 823-840
Numero Real
McgPerKg
(s) e'
igual
a
PerFn
Medida de Massa
and
Medida de Massa
Medida de Massa
e'
igual
a
Numero Real
um
milhonesimo
de
Gram
(s)
Medida de Massa
e'
igual
a
Numero Real
1
mil
Gram
s(s)
Processo
Objeto auto-conectado
and
Objeto auto-conectado
Processo
e' uma
instancia
de
Ingerir
Objeto auto-conectado
e' uma
instancia
de
Substancia Biologica Ativa
Objeto auto-conectado
e' uma
instancia
de
Organismo
Objeto auto-conectado
e' um
patient
de
Processo
Processo
e' um
agente
de
Objeto auto-conectado
weight
Objeto auto-conectado
and
Medida de Massa
weight
Objeto auto-conectado
and
Medida de Massa
(=>
(
and
(
equal
?S
(
SongFn
?MC ?LC))
(
realization
?S ?MUSIC))
(
exists
(?MM ?MV)
(
and
(
patient
?MM ?MC)
(
patient
?MV ?LC)
(
subProcess
?MM ?MUSIC)
(
subProcess
?MV ?MUSIC))))
Music.kif 867-876
Song
e'
igual
a
SongFn
MusicalComposition
and
LyricalContent
Song
exprime
o conteudo de
Processo
Processo
Processo
MusicalComposition
e' um
patient
de
Processo
LyricalContent
e' um
patient
de
Processo
Processo
e' um
sub
-processo de
Processo
Processo
e' um
sub
-processo de
Processo
(=>
(
and
(
functionRoomAmenity
?FR ?PHY)
(
instance
?RM ?FR)
(
element
?RM
(
PropertyFn
?HOTEL))
(
instance
?RENT
Renting
)
(
patient
?RENT ?RM)
(
agent
?RENT ?HOTEL)
(
destination
?RENT ?CUST)
(
subclass
?PHY
Object
))
(
modalAttribute
(
exists
(?O ?P)
(
and
(
instance
?O ?PHY)
(
instance
?P
Process
)
(
or
(
resource
?P ?O)
(
instrument
?P ?O)
(
patient
?P ?O))
(
or
(
agent
?P ?CUST)
(
experiencer
?P ?CUST))))
Possibility
))
Hotel.kif 811-832
functionRoomAmenity
HotelFunctionRoom
and
Fisico
Entidade
e' uma
instancia
de
HotelFunctionRoom
Entidade
e' um
elemento
de
propriedade
de
AutonomousAgent
Processo
e' uma
instancia
de
Renting
Entidade
e' um
patient
de
Processo
Processo
e' um
agente
de
AutonomousAgent
Processo
termina
em
Entidade
Fisico
e' uma
sub
-classe de
Objeto
o argumento
Entidade
Entidade
Entidade
e' uma
instancia
de
Fisico
Entidade
e' uma
instancia
de
Processo
Entidade
e' um
recurso
para
Entidade
Entidade
e' um
instrumento
para
Entidade
Entidade
e' um
patient
de
Entidade
Entidade
e' um
agente
de
Entidade
Entidade
experimenta
Entidade
tem a
forca
modal
de
Possibility
(=>
(
and
(
guest
?CUST ?HOTEL)
(
stays
?CUST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
instance
?R ?ROOM)
(
roomAmenity
?ROOM ?OBJ)
(
subclass
?OBJ
Object
))
(
exists
(?O)
(
and
(
instance
?O ?OBJ)
(
located
?O ?R)
(
confersRight
(
exists
(?PROC)
(
and
(
agent
?PROC ?CUST)
(
or
(
instrument
?PROC ?O)
(
patient
?PROC ?O)
(
resource
?PROC ?O)))) ?HOTEL ?CUST))))
Hotel.kif 294-313
guest
Humano
and
AutonomousAgent
stays
Humano
and
TemporaryResidence
TemporaryResidence
e' um
elemento
de
propriedade
de
AutonomousAgent
TemporaryResidence
e' uma
instancia
de
TemporaryResidence
OOM
roomAmenity
TemporaryResidence
OOM and
Fisico
Fisico
e' uma
sub
-classe de
Objeto
Fisico
Fisico
e' uma
instancia
de
Fisico
Fisico
e'
situado
em
TemporaryResidence
AutonomousAgent
autoriza
Humano
a executar tarefas de tipo
Entidade
Entidade
e' um
agente
de
Humano
Fisico
e' um
instrumento
para
Entidade
Fisico
e' um
patient
de
Entidade
Fisico
e' um
recurso
para
Entidade
(=>
(
and
(
hasAccount
?U ?AC)
(
password
?P ?AC)
(
deviceAccount
?AC ?D)
(
not
(
knows
?U
(
password
?P ?AC)))
(
knows
?U
(
recoveryKey
?S ?AC))
(
possesses
?U ?D))
(
modalAttribute
(
exists
(?C)
(
and
(
instance
?C
ChangingPassword
)
(
patient
?C ?AC)
(
agent
?C ?U)))
Possibility
))
ComputingBrands.kif 4427-4444
hasAccount
Agente Cognitivo
and
UserAccount
password
ComputerPassword
and
UserAccount
deviceAccount
UserAccount
and
Computer
Agente Cognitivo
nao
sabe
%n
password
ComputerPassword
and
UserAccount
Agente Cognitivo
sabe
recoveryKey
Entidade
and
UserAccount
Agente Cognitivo
possui
Computer
o argumento
Entidade
Entidade
e' uma
instancia
de
ChangingPassword
UserAccount
e' um
patient
de
Entidade
Entidade
e' um
agente
de
Agente Cognitivo
tem a
forca
modal
de
Possibility
(=>
(
and
(
holdsDuring
?T1
(
and
(
attribute
?P
Expellee
)
(
citizen
?P ?HOME-NATION)))
(
instance
?T1
TimeInterval
))
(
exists
(?TRANS ?NATION)
(
and
(
instance
?NATION
Nation
)
(
not
(
equal
?NATION ?HOME-NATION))
(
instance
?TRANS
Translocation
)
(
origin
?TRANS ?NATION)
(
patient
?TRANS ?P)
(
destination
?TRANS ?HOME-NATION)
(
temporalPart
?T1
(
WhenFn
?TRANS)))))
MilitaryPersons.kif 151-167
Expellee
e' um
atributo
de
Entidade
Entidade
e' um
cidadao
de
Entidade
-NATION
vale
durante
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
Processo
Objeto
Objeto
e' uma
instancia
de
Nacao
Objeto
e'
igual
a
Entidade
-NATION
Processo
e' uma
instancia
de
Translocation
Processo
tem como
origem
Objeto
Entidade
e' um
patient
de
Processo
Processo
termina
em
Entidade
-NATION
Posicao Temporal
e' uma &parte de
tempo
de existencia de
Processo
(=>
(
and
(
holdsDuring
?T1
(
spouse
?P1 ?P2))
(
instance
?T1
TimeInterval
))
(
exists
(?WED)
(
and
(
instance
?WED
Wedding
)
(
patient
?WED ?P1)
(
patient
?WED ?P2)
(
earlier
(
WhenFn
?WED) ?T1))))
Mid-level-ontology.kif 7972-7982
spouse
Entidade
and
Entidade
vale
durante
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
Processo
Processo
e' uma
instancia
de
Wedding
Entidade
e' um
patient
de
Processo
Entidade
e' um
patient
de
Processo
tempo
de existencia de
Processo
acontence
antes
de
Intervalo Temporal
(=>
(
and
(
instance
?ACT
Surgery
)
(
patient
?ACT ?ANIMAL))
(
exists
(?SUBACT)
(
and
(
instance
?SUBACT
Cutting
)
(
instance
?ANIMAL
Animal
)
(
patient
?SUBACT ?ANIMAL)
(
subProcess
?SUBACT ?ACT))))
Merge.kif 12259-12268
Processo
e' uma
instancia
de
Cirurgia
Entidade
e' um
patient
de
Processo
Processo
Processo
e' uma
instancia
de
Cortar
Entidade
e' uma
instancia
de
Animal
Entidade
e' um
patient
de
Processo
Processo
e' um
sub
-processo de
Processo
(=>
(
and
(
instance
?APR
AirPhotographicReconnaissance
)
(
agent
?APR ?AGENT)
(
patient
?APR ?HOSTILE))
(
exists
(?PHOTOGRAPHING)
(
and
(
instance
?PHOTOGRAPHING
Photographing
)
(
subProcess
?PHOTOGRAPHING ?APR)
(
agent
?PHOTOGRAPHING ?AGENT)
(
patient
?PHOTOGRAPHING ?HOSTILE))))
MilitaryProcesses.kif 753-763
Processo
e' uma
instancia
de
AirPhotographicReconnaissance
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
Processo
Processo
e' uma
instancia
de
Photographing
Processo
e' um
sub
-processo de
Processo
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
(=>
(
and
(
instance
?AR
ArmedReconnaissance
)
(
agent
?AR ?AGENT)
(
patient
?AR ?HOSTILE)
(
holdsDuring
(
WhenFn
?AR)
(
enemy
?AGENT ?HOSTILE)))
(
confersRight
(
exists
(?ATTACK)
(
and
(
instance
?ATTACK
Attack
)
(
agent
?ATTACK ?AGENT)
(
patient
?ATTACK ?HOSTILE))) ?AR ?AGENT))
MilitaryProcesses.kif 89-103
Processo
e' uma
instancia
de
ArmedReconnaissance
Processo
e' um
agente
de
Agente Cognitivo
Entidade
e' um
patient
de
Processo
enemy
Agente Cognitivo
and
Entidade
vale
durante
tempo
de existencia de
Processo
Processo
autoriza
Agente Cognitivo
a executar tarefas de tipo
Entidade
Entidade
e' uma
instancia
de
Attack
Entidade
e' um
agente
de
Agente Cognitivo
Entidade
e' um
patient
de
Entidade
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
occupiesPosition
?PERSON
Leader
(
GovernmentFn
?AREA)))
(
exists
(?LEADING)
(
and
(
instance
?LEADING
Guiding
)
(
patient
?LEADING ?AREA)
(
agent
?LEADING ?PERSON))))
Government.kif 2309-2317
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
Humano
ocupa a
posicao
de
Leader
o
governo
de
Area Geopolitica
Processo
Processo
e' uma
instancia
de
Guiar
Area Geopolitica
e' um
patient
de
Processo
Processo
e' um
agente
de
Humano
(=>
(
and
(
instance
?AS
ArtSchool
)
(
instance
?P
EducationalProcess
)
(
eventLocated
?P ?AS))
(
exists
(?M ?ART)
(
and
(
instance
?M
Making
)
(
patient
?M ?ART)
(
instance
?ART
ArtWork
)
(
refers
?P ?M))))
Mid-level-ontology.kif 16766-16776
Objeto
e' uma
instancia
de
ArtSchool
Processo
e' uma
instancia
de
Processo Educacional
eventLocated
Processo
and
Objeto
Processo
Entidade
Processo
e' uma
instancia
de
Fazer
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
Objeto de Arte
Processo
inclui uma
referencia
a
Processo
(=>
(
and
(
instance
?ATC
AddToCart
)
(
instance
?USER
AutonomousAgent
)
(
instance
?OBJ
Object
)
(
agent
?ATC ?USER)
(
patient
?ATC ?OBJ))
(
desires
?USER
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
patient
?BUYING ?OBJ)
(
agent
?BUYING ?USER)))))
UXExperimentalTerms.kif 1312-1324
Processo
e' uma
instancia
de
AddToCart
Agente Cognitivo
e' uma
instancia
de
AutonomousAgent
Entidade
e' uma
instancia
de
Objeto
Processo
e' um
agente
de
Agente Cognitivo
Entidade
e' um
patient
de
Processo
Agente Cognitivo
deseja
Entidade
Entidade
e' uma
instancia
de
Comprar
Entidade
e' um
patient
de
Entidade
Entidade
e' um
agente
de
Agente Cognitivo
(=>
(
and
(
instance
?ATTACK
Attack
)
(
agent
?ATTACK ?AGENT)
(
patient
?ATTACK ?OBJ))
(
hasPurposeForAgent
?ATTACK
(
exists
(?DAMAGE)
(
and
(
instance
?DAMAGE
Damaging
)
(
patient
?DAMAGE ?OBJ))) ?AGENT))
Merge.kif 13409-13418
Processo
e' uma
instancia
de
Attack
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
Processo
tem
finalidade
Entidade
Entidade
e' uma
instancia
de
Causar Dano
Entidade
e' um
patient
de
Entidade
para
AutonomousAgent
(=>
(
and
(
instance
?AWARD
LegalAward
)
(
refers
?AWARD ?ACTION)
(
instance
?ACTION
LegalAction
)
(
agent
?ACTION ?PLAINTIFF))
(
confersRight
(
exists
(?GET ?OBJ ?VALUE)
(
and
(
instance
?GET
Getting
)
(
experiencer
?GET ?PLAINTIFF)
(
patient
?GET ?OBJ)
(
monetaryValue
?OBJ ?VALUE))) ?AWARD ?PLAINTIFF))
Mid-level-ontology.kif 16200-16212
Entidade
e' uma
instancia
de
LegalAward
Entidade
inclui uma
referencia
a
Processo
Processo
e' uma
instancia
de
Acao Legal
Processo
e' um
agente
de
Agente Cognitivo
Entidade
autoriza
Agente Cognitivo
a executar tarefas de tipo
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Obter
Agente Cognitivo
experimenta
Entidade
Entidade
e' um
patient
de
Entidade
o
valor
de
Entidade
e'
Entidade
(=>
(
and
(
instance
?Account
FinancialAccount
)
(
accountAt
?Account ?Bank))
(
exists
(?Activity)
(
and
(
instance
?Activity
ControllingAnAccount
)
(
patient
?Activity ?Account)
(
agent
?Activity ?Bank))))
FinancialOntology.kif 76-84
FinancialAccount
e' uma
instancia
de
FinancialAccount
accountAt
FinancialAccount
and
FinancialOrganization
Processo
Processo
e' uma
instancia
de
ControllingAnAccount
FinancialAccount
e' um
patient
de
Processo
Processo
e' um
agente
de
FinancialOrganization
(=>
(
and
(
instance
?B
Bleeding
)
(
experiencer
?B ?H))
(
exists
(?VA ?D)
(
and
(
or
(
instance
?VA
Vein
)
(
instance
?VA
Artery
))
(
part
?VA ?H)
(
instance
?D
Damaging
)
(
earlier
(
WhenFn
?D)
(
WhenFn
?B))
(
patient
?D ?VA))))
Medicine.kif 80-94
Processo
e' uma
instancia
de
Bleeding
AutonomousAgent
experimenta
Processo
Objeto
Processo
Objeto
e' uma
instancia
de
Vein
Objeto
e' uma
instancia
de
Artery
Objeto
e' uma &parte de
AutonomousAgent
Processo
e' uma
instancia
de
Causar Dano
tempo
de existencia de
Processo
acontence
antes
de
tempo
de existencia de
Processo
Objeto
e' um
patient
de
Processo
(=>
(
and
(
instance
?B
Object
)
(
roastedToTemperature
?B ?T))
(
exists
(?H)
(
and
(
instance
?H
Heating
)
(
patient
?H ?B)
(
holdsDuring
(
EndFn
(
WhenFn
?H))
(
measure
?B
(
MeasureFn
?T
CelsiusDegree
))))))
Food.kif 468-478
Comida
e' uma
instancia
de
Objeto
roastedToTemperature
Comida
and
Numero Real
Processo
Processo
e' uma
instancia
de
Aquecer
Comida
e' um
patient
de
Processo
a
medida
de
Comida
e'
Numero Real
CelsiusDegree
(s)
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?B
VehicleBrake
)
(
instance
?V
Vehicle
)
(
part
?B ?V))
(
hasPurpose
?B
(
exists
(?S)
(
and
(
instance
?S
(
StopFn
Motion
))
(
patient
?S ?V)
(
instrument
?S ?B)))))
Mid-level-ontology.kif 3416-3426
Objeto
e' uma
instancia
de
VehicleBrake
Objeto
e' uma
instancia
de
Vehicle
Objeto
e' uma &parte de
Objeto
Objeto
tem por
fim
Entidade
Entidade
e' uma
instancia
de
StopFn
Movimento
Objeto
e' um
patient
de
Entidade
Objeto
e' um
instrumento
para
Entidade
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