patient
(=>
(
and
(
instance
?BORROW
Borrowing
)
(
agent
?BORROW ?AGENT1)
(
origin
?BORROW ?AGENT2)
(
patient
?BORROW ?OBJECT))
(
exists
(?LEND)
(
and
(
instance
?LEND
Lending
)
(
agent
?LEND ?AGENT2)
(
destination
?LEND ?AGENT1)
(
patient
?LEND ?OBJECT))))
Merge.kif 11731-11742
Processo
e' uma
instancia
de
Tomar Emprestado
Processo
e' um
agente
de
AutonomousAgent
Processo
tem como
origem
AutonomousAgent
Entidade
e' um
patient
de
Processo
Processo
Processo
e' uma
instancia
de
Emprestar
Processo
e' um
agente
de
AutonomousAgent
Processo
termina
em
AutonomousAgent
Entidade
e' um
patient
de
Processo
(=>
(
and
(
instance
?BP
BrakePad
)
(
instance
?BR
BrakeRotor
)
(
instance
?R
Rotating
)
(
patient
?R ?BR)
(
instance
?F
Friction
)
(
resource
?F ?BP)
(
patient
?F ?BR))
(
not
(
patient
?R ?BP)))
Cars.kif 617-627
Objeto
e' uma
instancia
de
BrakePad
Entidade
e' uma
instancia
de
BrakeRotor
Processo
e' uma
instancia
de
Rotating
Entidade
e' um
patient
de
Processo
Processo
e' uma
instancia
de
Friction
Objeto
e' um
recurso
para
Processo
Entidade
e' um
patient
de
Processo
Objeto
e' um
patient
de
Processo
(=>
(
and
(
instance
?BS
BrakeShoe
)
(
instance
?BD
BrakeDrum
)
(
instance
?R
Rotating
)
(
patient
?R ?BD)
(
instance
?F
Friction
)
(
resource
?F ?BS)
(
patient
?F ?BD))
(
not
(
patient
?R ?BS)))
Cars.kif 639-649
Objeto
e' uma
instancia
de
BrakeShoe
Entidade
e' uma
instancia
de
BrakeDrum
Processo
e' uma
instancia
de
Rotating
Entidade
e' um
patient
de
Processo
Processo
e' uma
instancia
de
Friction
Objeto
e' um
recurso
para
Processo
Entidade
e' um
patient
de
Processo
Objeto
e' um
patient
de
Processo
(=>
(
and
(
instance
?BUY
Buying
)
(
agent
?BUY ?AGENT1)
(
origin
?BUY ?AGENT2)
(
patient
?BUY ?OBJECT))
(
exists
(?SELL)
(
and
(
instance
?SELL
Selling
)
(
agent
?SELL ?AGENT2)
(
destination
?SELL ?AGENT1)
(
patient
?SELL ?OBJECT))))
Merge.kif 11905-11916
Processo
e' uma
instancia
de
Comprar
Processo
e' um
agente
de
AutonomousAgent
Processo
tem como
origem
AutonomousAgent
Entidade
e' um
patient
de
Processo
Processo
Processo
e' uma
instancia
de
Vender
Processo
e' um
agente
de
AutonomousAgent
Processo
termina
em
AutonomousAgent
Entidade
e' um
patient
de
Processo
(=>
(
and
(
instance
?C
CavalryUnit
)
(
instance
?B
Battle
)
(
agent
?B ?C))
(
exists
(?P ?V ?T)
(
and
(
attribute
?P
Soldier
)
(
member
?P ?C)
(
instance
?T
Transportation
)
(
agent
?T ?P)
(
instance
?V
Vehicle
)
(
patient
?T ?V)
(
during
?T ?B))))
Mid-level-ontology.kif 8387-8400
AutonomousAgent
e' uma
instancia
de
CavalryUnit
Intervalo Temporal
e' uma
instancia
de
Batalha
Intervalo Temporal
e' um
agente
de
AutonomousAgent
AutonomousAgent
Entidade
and
Intervalo Temporal
Soldier
e' um
atributo
de
AutonomousAgent
AutonomousAgent
e'
membro
de
AutonomousAgent
Intervalo Temporal
e' uma
instancia
de
Transporte
Intervalo Temporal
e' um
agente
de
AutonomousAgent
Entidade
e' uma
instancia
de
Vehicle
Entidade
e' um
patient
de
Intervalo Temporal
Intervalo Temporal
acontece
durante
Intervalo Temporal
(=>
(
and
(
instance
?C
Clutch
)
(
instance
?A
Automobile
)
(
instance
?E
Engine
)
(
instance
?G
Gearbox
)
(
instance
?GEAR
Gear
)
(
part
?GEAR ?G)
(
part
?G ?A)
(
part
?C ?A)
(
part
?E ?A)
(
instance
?M
Motion
)
(
patient
?M ?E)
(
attribute
?C
DeviceOff
))
(
exists
(?M2)
(
and
(
instance
?M2
Motion
)
(
patient
?M2 ?G)
(
causes
?M ?M2))))
Cars.kif 1838-1856
Objeto
e' uma
instancia
de
Clutch
Objeto
e' uma
instancia
de
Automobile
Objeto
e' uma
instancia
de
Engine
Objeto
e' uma
instancia
de
Gearbox
Objeto
EAR e' uma
instancia
de
Gear
Objeto
EAR e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Processo
e' uma
instancia
de
Movimento
Objeto
e' um
patient
de
Processo
DeviceOff
e' um
atributo
de
Objeto
Processo
2
Processo
2 e' uma
instancia
de
Movimento
Objeto
e' um
patient
de
Processo
2
Processo
causa
Processo
2
(=>
(
and
(
instance
?C
Clutch
)
(
instance
?A
Automobile
)
(
instance
?E
Engine
)
(
instance
?G
Gearbox
)
(
instance
?GEAR
Gear
)
(
part
?GEAR ?G)
(
part
?G ?A)
(
part
?C ?A)
(
part
?E ?A)
(
instance
?M
Motion
)
(
patient
?M ?E)
(
attribute
?C
DeviceOn
))
(
not
(
exists
(?M2)
(
and
(
instance
?M2
Motion
)
(
patient
?M2 ?G)
(
causes
?M ?M2)))))
Cars.kif 1817-1836
Objeto
e' uma
instancia
de
Clutch
Objeto
e' uma
instancia
de
Automobile
Objeto
e' uma
instancia
de
Engine
Objeto
e' uma
instancia
de
Gearbox
Objeto
EAR e' uma
instancia
de
Gear
Objeto
EAR e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Processo
e' uma
instancia
de
Movimento
Objeto
e' um
patient
de
Processo
DeviceOn
e' um
atributo
de
Objeto
Processo
2
Processo
2 e' uma
instancia
de
Movimento
Objeto
e' um
patient
de
Processo
2
Processo
causa
Processo
2
(=>
(
and
(
instance
?C
Concealing
)
(
patient
?C ?OBJ))
(
hasPurpose
?C
(
not
(
exists
(?S)
(
and
(
instance
?S
Seeing
)
(
patient
?S ?OBJ))))))
Mid-level-ontology.kif 5489-5498
Processo
e' uma
instancia
de
Concealing
Entidade
e' um
patient
de
Processo
Processo
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Visao
Entidade
e' um
patient
de
Entidade
(=>
(
and
(
instance
?C
Convoy
)
(
member
?VEH ?C))
(
exists
(?DRIVE)
(
and
(
instance
?DRIVE
Driving
)
(
overlapsTemporally
(
WhenFn
?DRIVE)
(
WhenFn
?C))
(
patient
?DRIVE ?VEH))))
Mid-level-ontology.kif 22348-22356
Colecao
e' uma
instancia
de
Convoy
Fisico
e'
membro
de
Colecao
Processo
Processo
e' uma
instancia
de
Dirigir
tempo
de existencia de
Colecao
engloba
tempo
de existencia de
Processo
Fisico
e' um
patient
de
Processo
(=>
(
and
(
instance
?C
Crankshaft
)
(
instance
?I
IntermittentCombustionEngine
)
(
part
?I ?C))
(
hasPurpose
?C
(
exists
(?E ?R)
(
and
(
instance
?E
Explosion
)
(
instance
?R
Rotating
)
(
patient
?R ?C)
(
eventLocated
?R ?I)
(
causes
?E ?R)))))
Cars.kif 349-361
Objeto
e' uma
instancia
de
Crankshaft
Objeto
e' uma
instancia
de
IntermittentCombustionEngine
Objeto
e' uma &parte de
Objeto
Objeto
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Explosion
Entidade
e' uma
instancia
de
Rotating
Objeto
e' um
patient
de
Entidade
eventLocated
Entidade
and
Objeto
Entidade
causa
Entidade
(=>
(
and
(
instance
?C
Cricothyroidotomy
)
(
patient
?C ?O))
(
hasPurpose
?C
(
and
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?C))
(
exists
(?B)
(
and
(
instance
?B
(
ImpairmentFn
Breathing
))
(
patient
?B ?O))))
(
not
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?C))
(
exists
(?B)
(
and
(
instance
?B
(
ImpairmentFn
Breathing
))
(
patient
?B ?O))))))))
Medicine.kif 767-785
Processo
e' uma
instancia
de
Cricothyroidotomy
Entidade
e' um
patient
de
Processo
Processo
tem por
fim
Entidade
Entidade
e' uma
instancia
de
ImpairmentFn
Respirar
Entidade
e' um
patient
de
Entidade
vale
durante imediatemente
antes
de
tempo
de existencia de
Processo
Entidade
Entidade
e' uma
instancia
de
ImpairmentFn
Respirar
Entidade
e' um
patient
de
Entidade
vale
durante imediatemente
apos
tempo
de existencia de
Processo
(=>
(
and
(
instance
?C
Crushing
)
(
patient
?C ?O)
(
instance
?O
Object
))
(
exists
(?B ?SC)
(
and
(
instance
?B
Breaking
)
(
causes
?C ?B)
(
subProcess
?B ?SC)
(
instance
?SC
ShapeChange
)
(
patient
?B ?O)
(
patient
?SC ?O))))
Food.kif 980-992
Processo
e' uma
instancia
de
Crushing
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
Objeto
Processo
Processo
Processo
e' uma
instancia
de
Breaking
Processo
causa
Processo
Processo
e' um
sub
-processo de
Processo
Processo
e' uma
instancia
de
Mudanca de Forma
Entidade
e' um
patient
de
Processo
Entidade
e' um
patient
de
Processo
(=>
(
and
(
instance
?C
Crushing
)
(
patient
?C ?O)
(
instance
?O
Object
))
(
exists
(?SC)
(
and
(
result
?C ?SC)
(
instance
?SC
ShapeChange
)
(
patient
?SC ?O))))
Food.kif 994-1003
Processo
e' uma
instancia
de
Crushing
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
Objeto
Processo
Processo
e' o
resultado
de
Processo
Processo
e' uma
instancia
de
Mudanca de Forma
Entidade
e' um
patient
de
Processo
(=>
(
and
(
instance
?C
Curdling
)
(
patient
?C ?X)
(
instance
?X
Colloid
))
(
exists
(?S ?A)
(
and
(
instance
?S
Separating
)
(
subProcess
?S ?C)
(
patient
?S ?X)
(
result
?S ?A)
(
piece
?A ?X)
(
instance
?A
Substance
))))
Food.kif 3199-3211
Processo
e' uma
instancia
de
Curdling
Substancia
e' um
patient
de
Processo
Substancia
e' uma
instancia
de
Colloid
Processo
Substancia
Processo
e' uma
instancia
de
Separar
Processo
e' um
sub
-processo de
Processo
Substancia
e' um
patient
de
Processo
Substancia
e' o
resultado
de
Processo
Substancia
e' uma
peca
de
Substancia
Substancia
e' uma
instancia
de
Substancia
(=>
(
and
(
instance
?C
CurdlingMilk
)
(
instance
?M
Milk
)
(
patient
?C ?M))
(
exists
(?PH ?D ?H ?L)
(
and
(
measure
?M
(
MeasureFn
?PH
PHValue
))
(
instance
?D
Decreasing
)
(
subProcess
?D ?C)
(
patient
?D ?PH)
(
holdsDuring
(
BeginFn
(
WhenFn
?D))
(
equal
?PH ?H)
(
approximateValue
?H 6.5))
(
holdsDuring
(
EndFn
(
WhenFn
?D))
(
equal
?PH ?L)
(
approximateValue
?L 4.5)))))
Food.kif 3226-3247
Processo
e' uma
instancia
de
CurdlingMilk
Fisico
e' uma
instancia
de
Milk
Fisico
e' um
patient
de
Processo
Numero Real
Processo
,
Entidade
and
Entidade
a
medida
de
Fisico
e'
Numero Real
PHValue
(s)
Processo
e' uma
instancia
de
Diminuir
Processo
e' um
sub
-processo de
Processo
Numero Real
e' um
patient
de
Processo
Numero Real
e'
igual
a
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
Numero Real
e'
igual
a
Entidade
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?C
CuringFood
)
(
instance
?F
Food
)
(
patient
?C ?F))
(
exists
(?D)
(
and
(
instance
?D
Drying
)
(
subProcess
?D ?C)
(
patient
?D ?F))))
Food.kif 96-105
Processo
e' uma
instancia
de
CuringFood
Entidade
e' uma
instancia
de
Comida
Entidade
e' um
patient
de
Processo
Processo
Processo
e' uma
instancia
de
Secar
Processo
e' um
sub
-processo de
Processo
Entidade
e' um
patient
de
Processo
(=>
(
and
(
instance
?CAB
GovernmentCabinet
)
(
subOrganization
?CAB
(
GovernmentFn
?AREA))
(
instance
?AREA
GeopoliticalArea
))
(
hasPurpose
?CAB
(
exists
(?ADVICE ?LEADER)
(
and
(
instance
?ADVICE
Stating
)
(
agent
?ADVICE ?CAB)
(
patient
?ADVICE ?LEADER)
(
leader
?LEADER
(
GovernmentFn
?AREA))))))
Government.kif 1513-1524
Organizacao
e' uma
instancia
de
GovernmentCabinet
Organizacao
e' uma parte da organizacao o
governo
de
Area Geopolitica
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
Organizacao
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Declarar
Entidade
e' um
agente
de
Organizacao
Entidade
e' um
patient
de
Entidade
leader
Entidade
and o
governo
de
Area Geopolitica
(=>
(
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
?COMMENTING
Commenting
)
(
instance
?PROCESS
Process
)
(
patient
?COMMENTING ?PROCESS))
(
exists
(?AGENT ?SPEAKING ?LOOKING)
(
and
(
instance
?AGENT
AutonomousAgent
)
(
instance
?SPEAKING
Speaking
)
(
instance
?LOOKING
Looking
)
(
agent
?SPEAKING ?AGENT)
(
agent
?LOOKING ?AGENT)
(
patient
?LOOKING ?PROCESS)
(
refers
?SPEAKING ?PROCESS))))
Mid-level-ontology.kif 15887-15900
Processo
e' uma
instancia
de
Commenting
Entidade
e' uma
instancia
de
Processo
Entidade
e' um
patient
de
Processo
AutonomousAgent
Processo
and
Processo
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
Processo
e' uma
instancia
de
Speaking
Processo
e' uma
instancia
de
Looking
Processo
e' um
agente
de
AutonomousAgent
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
Processo
inclui uma
referencia
a
Entidade
(=>
(
and
(
instance
?CONFINE
Confining
)
(
patient
?CONFINE ?PERSON)
(
instance
?PERSON
Human
))
(
not
(
desires
?PERSON
(
patient
?CONFINE ?PERSON))))
Merge.kif 12212-12217
Processo
e' uma
instancia
de
Confinar
Agente Cognitivo
e' um
patient
de
Processo
Agente Cognitivo
e' uma
instancia
de
Humano
Agente Cognitivo
nao
deseja
%n
Agente Cognitivo
e' um
patient
de
Processo
(=>
(
and
(
instance
?Card
DebitCard
)
(
possesses
?Agent ?Card)
(
instance
?Transaction
FinancialTransaction
)
(
instrument
?Transaction ?Card))
(
exists
(?PIN ?Enter)
(
and
(
pin
?PIN ?Card)
(
instance
?Enter
EnteringAPin
)
(
patient
?Enter ?PIN)
(
agent
?Enter ?Agent))))
FinancialOntology.kif 3543-3554
BankCard
e' uma
instancia
de
DebitCard
AutonomousAgent
possui
BankCard
Processo
e' uma
instancia
de
Transacao Financeira
BankCard
e' um
instrumento
para
Processo
Sequencia Simbolica
Processo
pin
Sequencia Simbolica
and
BankCard
Processo
e' uma
instancia
de
EnteringAPin
Sequencia Simbolica
e' um
patient
de
Processo
Processo
e' um
agente
de
AutonomousAgent
(=>
(
and
(
instance
?Check
Check
)
(
instance
?Processing
ProcessingACheck
)
(
patient
?Processing ?Check))
(
exists
(?Depositing)
(
and
(
instance
?Depositing
DepositingACheck
)
(
patient
?Depositing ?Check)
(
time
?Depositing
(
ImmediatePastFn
(
WhenFn
?Processing))))))
FinancialOntology.kif 137-146
Entidade
e' uma
instancia
de
Check
Processo
e' uma
instancia
de
ProcessingACheck
Entidade
e' um
patient
de
Processo
Processo
Processo
e' uma
instancia
de
DepositingACheck
Entidade
e' um
patient
de
Processo
Processo
existe
durante
imediatemente
antes
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?Check
VerifyingCardCode
)
(
patient
?Check ?Code)
(
cardCode
?Code ?Card))
(
exists
(?Decode)
(
and
(
instance
?Decode
Decoding
)
(
subProcess
?Decode ?Check)
(
patient
?Decode ?Code))))
FinancialOntology.kif 3572-3581
Processo
e' uma
instancia
de
VerifyingCardCode
Objeto Representendo Conteudo Abstrato
e' um
patient
de
Processo
cardCode
Objeto Representendo Conteudo Abstrato
and
BankCard
Processo
Processo
e' uma
instancia
de
Decodificar
Processo
e' um
sub
-processo de
Processo
Objeto Representendo Conteudo Abstrato
e' um
patient
de
Processo
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