causes
(=>
(
and
(
instance
?HP
HearingProtection
)
(
instance
?PERSON
Human
)
(
wears
?PERSON ?HP))
(
hasPurpose
?HP
(
exists
(?PROC ?INJ ?I)
(
and
(
instance
?PROC
Process
)
(
subclass
?INJ
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(
exists
(?SOUND ?HEAR ?HUMAN ?T)
(
and
(
instance
?SOUND
RadiatingSound
)
(
instance
?HEAR
Hearing
)
(
instance
?HUMAN
Human
)
(
patient
?HEAR ?SOUND)
(
experiencer
?HEAR ?HUMAN)
(
causes
?HEAR ?I)
(
experiencer
?I ?HUMAN)
(=>
(
holdsDuring
?T
(
experiencer
?I ?PERSON))
(
not
(
holdsDuring
?T
(
patient
?PROC ?PERSON)))))))))
(
prevents
?PROC ?INJ)
(
instrument
?PROC ?HP)))))
Cars.kif 3447-3476
WearableItem
e' uma
instancia
de
HearingProtection
Animal
e' uma
instancia
de
Humano
Animal
usa
WearableItem
WearableItem
tem por
fim
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Processo
Entidade
e' uma
sub
-classe de a
classe
descrita por
Entidade
Entidade
proibe
a ocurrencia de
Entidade
WearableItem
e' um
instrumento
para
Entidade
(=>
(
and
(
instance
?HVU
HappyVoiceUtterance
)
(
agent
?HVU ?A))
(
exists
(?H)
(
and
(
instance
?H
Happiness
)
(
experiencer
?H ?A)
(
causes
?H ?HVU))))
emotion.kif 1983-1991
Processo
e' uma
instancia
de
HappyVoiceUtterance
Processo
e' um
agente
de
AutonomousAgent
Processo
Processo
e' uma
instancia
de
Happiness
AutonomousAgent
experimenta
Processo
Processo
causa
Processo
(=>
(
and
(
instance
?KILL
Killing
)
(
patient
?KILL ?OBJ))
(
exists
(?DEATH)
(
and
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?OBJ)
(
causes
?KILL ?DEATH))))
Merge.kif 12313-12321
Processo
e' uma
instancia
de
Matar
AutonomousAgent
e' um
patient
de
Processo
Processo
Processo
e' uma
instancia
de
Morte
AutonomousAgent
experimenta
Processo
Processo
causa
Processo
(=>
(
and
(
instance
?KL
KnockLight
)
(
located
?KL ?ROOM)
(
instance
?ROOM
Room
)
(
instance
?DOOR
Door
)
(
part
?DOOR ?ROOM))
(
hasPurpose
?KL
(
exists
(?KNOCK ?SOUND ?LIGHT)
(
and
(
instance
?KNOCK
Impacting
)
(
patient
?KNOCK ?DOOR)
(
causes
?KNOCK ?SOUND)
(
instance
?SOUND
RadiatingSound
)
(
agent
?SOUND ?DOOR)
(
causes
?SOUND ?LIGHT)
(
instance
?LIGHT
RadiatingVisibleLight
)
(
instrument
?LIGHT ?KL)))))
Mid-level-ontology.kif 25821-25838
Fisico
e' uma
instancia
de
KnockLight
Fisico
e'
situado
em
Objeto
Objeto
e' uma
instancia
de
Comodo
Objeto
e' uma
instancia
de
Door
Objeto
e' uma &parte de
Objeto
Fisico
tem por
fim
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Impactar
Objeto
e' um
patient
de
Entidade
Entidade
causa
Entidade
Entidade
e' uma
instancia
de
Som Irradiante
Entidade
e' um
agente
de
Objeto
Entidade
causa
Entidade
Entidade
e' uma
instancia
de
RadiatingVisibleLight
Fisico
e' um
instrumento
para
Entidade
(=>
(
and
(
instance
?P
CeliacDisease
)
(
experiencer
?P ?H1)
(
instance
?SI
SmallIntestine
)
(
part
?SI ?H1))
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Diarrhoea
)
(
experiencer
?D ?H1)
(
causes
?P ?D)))
Likely
))
Medicine.kif 2735-2747
Processo
e' uma
instancia
de
CeliacDisease
AutonomousAgent
experimenta
Processo
Objeto
e' uma
instancia
de
SmallIntestine
Objeto
e' uma &parte de
AutonomousAgent
o argumento
Entidade
Entidade
e' uma
instancia
de
Diarrhoea
AutonomousAgent
experimenta
Entidade
Processo
causa
Entidade
tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?P
Poison
)
(
instance
?I
Ingesting
)
(
moves
?I ?P)
(
experiencer
?I ?H))
(
exists
(?D)
(
and
(
instance
?D
Damaging
)
(
experiencer
?D ?H)
(
causes
?I ?D))))
Mid-level-ontology.kif 8600-8610
Objeto
e' uma
instancia
de
Poison
Movimento
e' uma
instancia
de
Ingerir
moves
Movimento
and
Objeto
AutonomousAgent
experimenta
Movimento
Processo
Processo
e' uma
instancia
de
Causar Dano
AutonomousAgent
experimenta
Processo
Movimento
causa
Processo
(=>
(
and
(
instance
?PLANNING
OperationPlanning
)
(
agent
?PLANNING ?COMMANDER))
(
or
(
and
(
instance
?COMMANDER
CombatantCommander
)
(
exists
(?REQUEST ?CHAIRMAN)
(
and
(
instance
?REQUEST
Requesting
)
(
agent
?REQUEST ?CHAIRMAN)
(
attribute
?CHAIRMAN
ChairmanJCS
)
(
causes
?REQUEST ?PLANNING))))
(
and
(
instance
?COMMANDER
SubunifiedCommander
)
(
exists
(?REQUEST ?COMMANDERSUPER ?MILITARY)
(
and
(
instance
?REQUEST
Requesting
)
(
agent
?REQUEST ?COMMANDERSUPER)
(
attribute
?COMMANDERSUPER
MilitaryCommander
)
(
subordinatePosition
?MILITARY ?COMMANDER ?COMMANDERSUPER)
(
instance
?MILITARY
MilitaryForce
)
(
causes
?REQUEST ?PLANNING))))))
MilitaryProcesses.kif 1582-1604
Processo
e' uma
instancia
de
OperationPlanning
Processo
e' um
agente
de
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
CombatantCommander
Processo
AutonomousAgent
Processo
e' uma
instancia
de
Pedir
Processo
e' um
agente
de
AutonomousAgent
ChairmanJCS
e' um
atributo
de
AutonomousAgent
Processo
causa
Processo
AutonomousAgent
e' uma
instancia
de
SubunifiedCommander
Processo
AutonomousAgent
SUPER and
Organizacao
Processo
e' uma
instancia
de
Pedir
Processo
e' um
agente
de
AutonomousAgent
SUPER
MilitaryCommander
e' um
atributo
de
AutonomousAgent
SUPER
subordinatePosition
Organizacao
,
AutonomousAgent
and
AutonomousAgent
SUPER
Organizacao
e' uma
instancia
de
MilitaryForce
Processo
causa
Processo
(=>
(
and
(
instance
?PROC
DiagnosticProcess
)
(
agent
?PROC ?AGENT))
(
exists
(?CAUSE)
(
hasPurposeForAgent
?PROC
(
knows
?AGENT
(
causes
?CAUSE ?PROC)) ?AGENT)))
Merge.kif 12958-12963
Processo
e' uma
instancia
de
Processo de Diagnostico
Processo
e' um
agente
de
AutonomousAgent
Entidade
Processo
tem
finalidade
AutonomousAgent
sabe
Entidade
causa
Processo
para
AutonomousAgent
(=>
(
and
(
instance
?S
Sentencing
)
(
patient
?S ?P))
(
exists
(?C)
(
and
(
causes
?C ?S)
(
instance
?C
LegalConviction
)
(
patient
?C ?P)
(
earlier
(
WhenFn
?C)
(
WhenFn
?S)))))
Mid-level-ontology.kif 16250-16259
Processo
e' uma
instancia
de
Sentencing
Entidade
e' um
patient
de
Processo
Processo
Processo
causa
Processo
Processo
e' uma
instancia
de
LegalConviction
Entidade
e' um
patient
de
Processo
tempo
de existencia de
Processo
acontence
antes
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?S
Sepsis
)
(
experiencer
?S ?H))
(
exists
(?I)
(
and
(
instance
?I
Infecting
)
(
experiencer
?I ?H)
(
causes
?I ?S))))
Medicine.kif 5527-5535
Processo
e' uma
instancia
de
Sepsis
AutonomousAgent
experimenta
Processo
Processo
Processo
e' uma
instancia
de
Infecting
AutonomousAgent
experimenta
Processo
Processo
causa
Processo
(=>
(
and
(
instance
?SH
SafetyHarness
)
(
instance
?PERSON
Animal
)
(
wears
?PERSON ?SH))
(
hasPurpose
?SH
(
exists
(?PROC ?INJ ?I)
(
and
(
instance
?PROC
Process
)
(
instrument
?PROC ?SH)
(
patient
?PROC ?PERSON)
(
subclass
?INJ
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(
exists
(?F ?H ?T)
(
and
(
instance
?H
Human
)
(
experiencer
?I ?H)
(
instance
?F
Falling
)
(
experiencer
?F ?H)
(
causes
?F ?I)
(=>
(
holdsDuring
?T
(
experiencer
?I ?PERSON))
(
not
(
holdsDuring
?T
(
patient
?PROC ?PERSON)))))))))
(
prevents
?PROC ?INJ)))))
Cars.kif 3389-3417
WearableItem
e' uma
instancia
de
SafetyHarness
Animal
e' uma
instancia
de
Animal
Animal
usa
WearableItem
WearableItem
tem por
fim
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Processo
WearableItem
e' um
instrumento
para
Entidade
Animal
e' um
patient
de
Entidade
Entidade
e' uma
sub
-classe de a
classe
descrita por
Entidade
Entidade
proibe
a ocurrencia de
Entidade
(=>
(
and
(
instance
?SS
StayingStill
)
(
experiencer
?SS ?A))
(
not
(
exists
(?B ?T)
(
and
(
instance
?B
BodyMotion
)
(
instance
?T
Translocation
)
(
causes
?B ?T)
(
agent
?B ?A)))))
emotion.kif 1523-1533
Processo
e' uma
instancia
de
StayingStill
AutonomousAgent
experimenta
Processo
Processo
Processo
Processo
e' uma
instancia
de
Movimento do Corpo
Processo
e' uma
instancia
de
Translocation
Processo
causa
Processo
Processo
e' um
agente
de
AutonomousAgent
(=>
(
and
(
instance
?SVU
SadVoiceUtterance
)
(
agent
?SVU ?A))
(
exists
(?S)
(
and
(
instance
?S
Sadness
)
(
experiencer
?S ?A)
(
causes
?S ?SVU))))
emotion.kif 1967-1975
Processo
e' uma
instancia
de
SadVoiceUtterance
Processo
e' um
agente
de
AutonomousAgent
Processo
Processo
e' uma
instancia
de
Sadness
AutonomousAgent
experimenta
Processo
Processo
causa
Processo
(=>
(
and
(
instance
?SVU
SurprisedVoiceUtterance
)
(
agent
?SVU ?A))
(
exists
(?S)
(
and
(
instance
?S
Surprise
)
(
experiencer
?S ?A)
(
causes
?S ?SVU))))
emotion.kif 1928-1936
Processo
e' uma
instancia
de
SurprisedVoiceUtterance
Processo
e' um
agente
de
AutonomousAgent
Processo
Processo
e' uma
instancia
de
Surprise
AutonomousAgent
experimenta
Processo
Processo
causa
Processo
(=>
(
and
(
instance
?TEXT
DeathCertificate
)
(
instance
?D
Death
)
(
instance
?A
Human
)
(
experiencer
?D ?A))
(
containsFormula
?TEXT
(
exists
(?DAY ?P ?N ?PROC)
(
and
(
deathdate
?A ?DAY)
(
instance
?DAY
Day
)
(
deathplace
?A ?P)
(
instance
?P
GeographicArea
)
(
represents
?N ?A)
(
instance
?N
Name
)
(
causes
?PROC ?D)
(
instance
?PROC
Process
)))))
Biography.kif 280-296
ContentBearingPhysical
e' uma
instancia
de
DeathCertificate
Processo
e' uma
instancia
de
Morte
AutonomousAgent
e' uma
instancia
de
Humano
AutonomousAgent
experimenta
Processo
containsFormula
ContentBearingPhysical
and
Processo
AY
Entidade
,
Entidade
and
Entidade
ROC
deathdate
AutonomousAgent
and
Processo
AY
Processo
AY e' uma
instancia
de
Dia
deathplace
AutonomousAgent
and
Entidade
Entidade
e' uma
instancia
de
Area Geografica
Entidade
define
AutonomousAgent
Entidade
e' uma
instancia
de
Name
Entidade
ROC
causa
Processo
Entidade
ROC e' uma
instancia
de
Processo
(=>
(
and
(
instance
?X
CarAlarm
)
(
instance
?CAR
SelfPoweredRoadVehicle
)
(
part
?X ?CAR))
(
exists
(?HARM ?THIEF ?T ?L)
(
hasPurpose
?X
(=>
(
and
(
or
(
instance
?HARM
Stealing
)
(
instance
?HARM
Damaging
))
(
instance
?THIEF
Human
)
(
agent
?HARM ?THIEF)
(
patient
?HARM ?CAR)
(
equal
(
WhenFn
?HARM) ?T)
(
eventPartlyLocated
?HARM ?L))
(
exists
(?ALARM)
(
and
(
instance
?ALARM
RadiatingSound
)
(
agent
?ALARM ?X)
(
causes
?HARM ?ALARM)
(
hasPurpose
?ALARM
(
increasesLikelihood
(
exists
(?WITNESS)
(
and
(
instance
?WITNESS
Human
)
(
holdsDuring
?T
(
orientation
?WITNESS ?L
Near
))))
(
or
(
knows
?WITNESS
(
exists
(?H)
(
and
(
or
(
instance
?H
Stealing
)
(
instance
?H
Damaging
))
(
eventPartlyLocated
?H ?L)
(
holdsDuring
?T
(
patient
?H ?CAR)))))
(
finishes
(
WhenFn
?ALARM)
(
WhenFn
?HARM)))))))))))
Cars.kif 3710-3751
Objeto
e' uma
instancia
de
CarAlarm
Objeto
e' uma
instancia
de
SelfPoweredRoadVehicle
Objeto
e' uma &parte de
Objeto
Entidade
Entidade
,
Entidade
and
Entidade
Objeto
tem por
fim
Entidade
e' uma
instancia
de
Stealing
Entidade
e' uma
instancia
de
Causar Dano
Entidade
e' uma
instancia
de
Humano
Entidade
e' um
agente
de
Entidade
Objeto
e' um
patient
de
Entidade
tempo
de existencia de
Entidade
e'
igual
a
Entidade
eventPartlyLocated
Entidade
and
Entidade
Entidade
Entidade
e' uma
instancia
de
Som Irradiante
Entidade
e' um
agente
de
Objeto
Entidade
causa
Entidade
Entidade
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Humano
Entidade
e'
Near
em relacao a
Entidade
vale
durante
Entidade
aumenta
a probabilidade de
Entidade
sabe
Entidade
Entidade
e' uma
instancia
de
Stealing
Entidade
e' uma
instancia
de
Causar Dano
eventPartlyLocated
Entidade
and
Entidade
Objeto
e' um
patient
de
Entidade
vale
durante
Entidade
tempo
de existencia de
Entidade
termina
em
tempo
de existencia de
Entidade
(=>
(
and
(
instance
?X
DutyTax
)
(
refers
?X ?OBJ)
(
patient
?X ?OBJ))
(
exists
(?T ?N1 ?N2)
(
and
(
instance
?T
Transfer
)
(
patient
?T ?OBJ)
(
origin
?T ?N1)
(
destination
?T ?N2)
(
instance
?N1
Nation
)
(
instance
?N2
Nation
)
(
not
(
equal
?N1 ?N2))
(
earlier
(
WhenFn
?T)
(
WhenFn
?X))
(
causes
?T ?X))))
FinancialOntology.kif 949-964
Processo
e' uma
instancia
de
DutyTax
Processo
inclui uma
referencia
a
Entidade
Entidade
e' um
patient
de
Processo
Processo
Objeto
and
Entidade
Processo
e' uma
instancia
de
Transferencia
Entidade
e' um
patient
de
Processo
Processo
tem como
origem
Objeto
Processo
termina
em
Entidade
Objeto
e' uma
instancia
de
Nacao
Entidade
e' uma
instancia
de
Nacao
Objeto
e'
igual
a
Entidade
tempo
de existencia de
Processo
acontence
antes
de
tempo
de existencia de
Processo
Processo
causa
Processo
(=>
(
and
(
instance
?X
Respirator
)
(
instance
?PERSON
Animal
)
(
wears
?PERSON ?X))
(
hasPurpose
?X
(
exists
(?INHAL ?INJ ?PROTECT ?I)
(
and
(
instance
?PROTECT
Process
)
(
instrument
?PROTECT ?X)
(
prevents
?PROTECT ?INJ)
(
subclass
?INJ
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(
exists
(?H)
(
and
(
instance
?H
Human
)
(
patient
?I ?H)
(
instance
?INHAL
Inhaling
)
(
agent
?INHAL ?H)
(
causes
?I ?INHAL))))))))))
Cars.kif 3531-3552
WearableItem
e' uma
instancia
de
Respirator
Animal
e' uma
instancia
de
Animal
Animal
usa
WearableItem
WearableItem
tem por
fim
Entidade
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Processo
WearableItem
e' um
instrumento
para
Entidade
Entidade
proibe
a ocurrencia de
Entidade
Entidade
e' uma
sub
-classe de a
classe
descrita por
Entidade
(=>
(
and
(
taxDeferredIncome
?Agent ?Income ?Activity)
(
time
?Activity ?Time))
(
not
(
exists
(?Tax)
(
and
(
instance
?Tax
Tax
)
(
causes
?Activity ?Tax)
(
time
?Tax ?Time)))))
FinancialOntology.kif 3312-3321
taxDeferredIncome
Humano
,
Medida de Divisa
and
Processo Organizacional
Processo Organizacional
existe
durante
Posicao Temporal
Processo
Processo
e' uma
instancia
de
Tax
Processo Organizacional
causa
Processo
Processo
existe
durante
Posicao Temporal
(=>
(
attribute
?H
(
InjuryCausedFn
?PC))
(
exists
(?I ?P)
(
and
(
instance
?I
Injuring
)
(
patient
?I ?H)
(
instance
?P ?PC)
(
causes
?P ?I))))
Medicine.kif 403-410
InjuryCausedFn
Processo
e' um
atributo
de
Objeto
Processo
Processo
Processo
e' uma
instancia
de
Ferir
Objeto
e' um
patient
de
Processo
Processo
e' uma
instancia
de
Processo
Processo
causa
Processo
(=>
(
attribute
?H
Bruise
)
(
exists
(?I ?P)
(
and
(
instance
?I
Injuring
)
(
patient
?I ?H)
(
instance
?P
Bleeding
)
(
causes
?P ?I))))
Medicine.kif 425-432
Bruise
e' um
atributo
de
Objeto
Processo
Processo
Processo
e' uma
instancia
de
Ferir
Objeto
e' um
patient
de
Processo
Processo
e' uma
instancia
de
Bleeding
Processo
causa
Processo
(=>
(
attribute
?M
CoinOperated
)
(
hasPurpose
?M
(
exists
(?C ?FT ?A ?ACT)
(
and
(
instance
?C
CurrencyCoin
)
(
instance
?FT
FinancialTransaction
)
(
destination
?FT ?M)
(
patient
?FT ?C)
(
origin
?FT ?A)
(
causes
?FT ?ACT)
(
wants
?A ?ACT)))))
Mid-level-ontology.kif 29474-29485
CoinOperated
e' um
atributo
de
Objeto
Objeto
tem por
fim
Entidade
Entidade
,
Entidade
and
Entidade
CT
Entidade
e' uma
instancia
de
CurrencyCoin
Entidade
e' uma
instancia
de
Transacao Financeira
Entidade
termina
em
Objeto
Entidade
e' um
patient
de
Entidade
Entidade
tem como
origem
Entidade
Entidade
causa
Entidade
CT
Entidade
quer
Entidade
CT
(=>
(
attribute
?P
Comedian
)
(
exists
(?PERF ?L)
(
and
(
instance
?PERF
Performance
)
(
agent
?PERF ?P)
(
instance
?L
Laughing
)
(
causes
?PERF ?L))))
Mid-level-ontology.kif 18795-18802
Comedian
e' um
atributo
de
AutonomousAgent
AutonomousAgent
ERF
Processo
AutonomousAgent
ERF e' uma
instancia
de
Performance
AutonomousAgent
ERF e' um
agente
de
AutonomousAgent
Processo
e' uma
instancia
de
Laughing
AutonomousAgent
ERF
causa
Processo
(=>
(
browserID
?STRING ?BROWSER ?SITE)
(
exists
(?WEBPAGE ?ACCESSING ?AGENT ?BPROC)
(
and
(
instance
?WEBPAGE
WebPage
)
(
subString
?WEBPAGE ?SITE)
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?AGENT
AutonomousAgent
)
(
agent
?ACCESSING ?AGENT)
(
programRunning
?BPROC ?BROWSER)
(
causes
?BPROC ?ACCESSING)
(
destination
?ACCESSING ?WEBPAGE)
(
represents
?STRING ?AGENT))))
UXExperimentalTerms.kif 736-748
browserID
Identifier
,
WebBrowser
and
WebSite
Sequencia Simbolica
Processo
,
AutonomousAgent
and
ComputerProcess
Sequencia Simbolica
e' uma
instancia
de
WebPage
subString
Sequencia Simbolica
and
WebSite
Processo
e' uma
instancia
de
AccessingWebPage
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
Processo
e' um
agente
de
AutonomousAgent
programRunning
ComputerProcess
and
WebBrowser
ComputerProcess
causa
Processo
Processo
termina
em
Sequencia Simbolica
Identifier
define
AutonomousAgent
(=>
(
causesSubclass
?PROC1 ?PROC2)
(
forall
(?INST2)
(=>
(
instance
?INST2 ?PROC2)
(
exists
(?INST1)
(
and
(
instance
?INST1 ?PROC1)
(
causes
?INST1 ?INST2))))))
Merge.kif 3810-3818
causesSubclass
Processo
and
Processo
Processo
Processo
e' uma
instancia
de
Processo
Processo
Processo
e' uma
instancia
de
Processo
Processo
causa
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