believes
(=>
(
and
(
instance
?X
SuicideBombing
)
(
agent
?X ?P))
(
believes
?P
(
holdsDuring
(
FutureFn
(
WhenFn
?X))
(
attribute
?P
Dead
))))
Mid-level-ontology.kif 22110-22118
Processo
e' uma
instancia
de
SuicideBombing
Processo
e' um
agente
de
Agente Cognitivo
Agente Cognitivo
acredita
que
Dead
e' um
atributo
de
Agente Cognitivo
vale
durante
apos
tempo
de existencia de
Processo
(=>
(
and
(
subclass
?PLATFORM
PartyPlatform
)
(
authors
?PARTY ?PLATFORM)
(
instance
?PARTY
PoliticalParty
)
(
instance
?INST ?PLATFORM)
(
containsFormula
?INST ?P))
(
believes
?PARTY ?P))
Government.kif 2331-2338
Objeto Representendo Conteudo Abstrato
e' uma
sub
-classe de
PartyPlatform
Agente Cognitivo
e' o
autor
de
Objeto Representendo Conteudo Abstrato
Agente Cognitivo
e' uma
instancia
de
PoliticalParty
ContentBearingPhysical
e' uma
instancia
de
Objeto Representendo Conteudo Abstrato
containsFormula
ContentBearingPhysical
and
Formula
Agente Cognitivo
acredita
que
Formula
(=>
(
approves
?AGENT1 ?AGENT2)
(
exists
(?PROP)
(
believes
?AGENT1
(
conforms
?AGENT2 ?PROP))))
Mid-level-ontology.kif 26941-26945
approves
Agente Cognitivo
and
Agente Cognitivo
Entidade
Agente Cognitivo
acredita
que
conforms
Agente Cognitivo
and
Entidade
(=>
(
attribute
?DEIST
Deist
)
(
believes
?DEIST
(
exists
(?GOD)
(
equal
?GOD
God
))))
People.kif 742-746
Deist
e' um
atributo
de
Agente Cognitivo
Agente Cognitivo
acredita
que
Entidade
Entidade
e'
igual
a
God
(=>
(
diseaseCandidate
?H ?D)
(
exists
(?DOC)
(
believes
?DOC
(
modalAttribute
(
attribute
?H ?D)
Possibility
))))
Medicine.kif 1939-1945
diseaseCandidate
Humano
and
Doenca ou Sindrome
Doenca ou Sindrome
OC
Doenca ou Sindrome
OC
acredita
que o argumento
Doenca ou Sindrome
e' um
atributo
de
Humano
tem a
forca
modal
de
Possibility
(=>
(
distrusts
?A1 ?A2 ?P)
(
believes
?A1
(
modalAttribute
(
exists
(?PI)
(
and
(
instance
?PI ?P)
(
agent
?PI ?A2)))
Unlikely
)))
Law.kif 422-430
distrusts
Agente Cognitivo
,
AutonomousAgent
and
Processo Intencional
Agente Cognitivo
acredita
que o argumento
Processo Intencional
I
Processo Intencional
I e' uma
instancia
de
Processo Intencional
Processo Intencional
I e' um
agente
de
AutonomousAgent
tem a
forca
modal
de
Unlikely
(=>
(
doubts
?AGENT ?FORMULA)
(
not
(
believes
?AGENT ?FORMULA)))
Mid-level-ontology.kif 7415-7417
doubts
Agente Cognitivo
and
Formula
Agente Cognitivo
acredita
que
Formula
(=>
(
enemy
?AGENT1 ?AGENT2)
(
and
(
believes
?AGENT1
(
attribute
?AGENT2
Enemy
))
(
believes
?AGENT2
(
attribute
?AGENT1
Enemy
))))
MilitaryProcesses.kif 2463-2469
enemy
Agente Cognitivo
and
Agente Cognitivo
Agente Cognitivo
acredita
que
Enemy
e' um
atributo
de
Agente Cognitivo
Agente Cognitivo
acredita
que
Enemy
e' um
atributo
de
Agente Cognitivo
(=>
(
holdsDuring
?T
(
attribute
?A
Fear
))
(
believes
?A
(
modalAttribute
(
exists
(?P)
(
and
(
not
(
wants
?A ?P))
(
before
?T
(
WhenFn
?P))))
Likely
)))
emotion.kif 1025-1036
Fear
e' um
atributo
de
Agente Cognitivo
vale
durante
Posicao Temporal
Agente Cognitivo
acredita
que o argumento
Entidade
Agente Cognitivo
nao
quer
%n
Entidade
Posicao Temporal
comeca
antes
de
tempo
de existencia de
Entidade
tem a
forca
modal
de
Likely
(=>
(
holdsDuring
?T
(
attribute
?H
Antivaxxer
))
(
believes
?H
(
exists
(?V ?D)
(
and
(
instance
?V
Vaccination
)
(
instance
?D
Damaging
)
(
causes
?V ?D)))))
Medicine.kif 3821-3829
Antivaxxer
e' um
atributo
de
Agente Cognitivo
vale
durante
Posicao Temporal
Agente Cognitivo
acredita
que
Entidade
Entidade
Entidade
e' uma
instancia
de
Vaccination
Entidade
e' uma
instancia
de
Causar Dano
Entidade
causa
Entidade
(=>
(
holdsDuring
?T
(
attribute
?H
Dizzy
))
(
holdsDuring
?T
(
believes
?H
(=>
(
exists
(?T2)
(
and
(
during
?T2 ?T)
(
holdsDuring
?T2
(
attribute
?H
Standing
))))
(
exists
(?F)
(
and
(
instance
?F
Falling
)
(
experiencer
?F ?H)
(
meetsTemporally
?T2
(
WhenFn
?F))))))))
Mid-level-ontology.kif 16410-16426
Dizzy
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
Entidade
acredita
que
Posicao Temporal
2
Posicao Temporal
2 acontece
durante
Posicao Temporal
Standing
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
2
Entidade
Entidade
e' uma
instancia
de
Falling
Entidade
experimenta
Entidade
Posicao Temporal
2
encontra
tempo
de existencia de
Entidade
vale
durante
Posicao Temporal
(=>
(
holdsDuring
?T1
(
expects
?AGENT ?FORMULA))
(
exists
(?T2)
(
and
(
holdsDuring
?T1
(
believes
?AGENT
(
holdsDuring
?T2 ?FORMULA)))
(
earlier
?T1 ?T2))))
Merge.kif 10617-10625
expects
Entidade
and
Entidade
vale
durante
Intervalo Temporal
Intervalo Temporal
Entidade
acredita
que
Entidade
vale
durante
Intervalo Temporal
vale
durante
Intervalo Temporal
Intervalo Temporal
acontence
antes
de
Intervalo Temporal
(=>
(
instance
?GROUP
BeliefGroup
)
(
exists
(?BELIEF)
(
forall
(?MEMB)
(=>
(
member
?MEMB ?GROUP)
(
believes
?MEMB ?BELIEF)))))
Merge.kif 16618-16624
Colecao
e' uma
instancia
de
BeliefGroup
Formula
Agente Cognitivo
Agente Cognitivo
e'
membro
de
Colecao
Agente Cognitivo
acredita
que
Formula
(=>
(
instance
?PRETEND
Pretending
)
(
exists
(?PERSON ?PROP)
(
and
(
hasPurpose
?PRETEND
(
believes
?PERSON ?PROP))
(
truth
?PROP
False
))))
Merge.kif 13049-13054
Fisico
e' uma
instancia
de
Fingir
Entidade
Frase
Fisico
tem por
fim
Entidade
acredita
que
Frase
truth
Frase
and
False
(=>
(
knows
?AGENT ?FORMULA)
(
believes
?AGENT ?FORMULA))
Merge.kif 2834-2836
Agente Cognitivo
sabe
Formula
Agente Cognitivo
acredita
que
Formula
(=>
(
medicine
?MC ?D)
(
exists
(?DOC)
(
and
(
instance
?DOC
MedicalDoctor
)
(
believes
?DOC
(
exists
(?T ?H ?M)
(
and
(
instance
?M ?MC)
(
instance
?T
TherapeuticProcess
)
(
instance
?H
Human
)
(
patientMedical
?H ?DOC)
(
resource
?T ?M)
(
benefits
?T ?H)))))))
Mid-level-ontology.kif 9651-9664
medicine
Medicine
and
Doenca ou Sindrome
Doenca ou Sindrome
OC
Doenca ou Sindrome
OC e' uma
instancia
de
MedicalDoctor
Doenca ou Sindrome
OC
acredita
que
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Medicine
Entidade
e' uma
instancia
de
Processo Terapeutico
Entidade
e' uma
instancia
de
Humano
patientMedical
Entidade
and
Doenca ou Sindrome
OC
Entidade
e' um
recurso
para
Entidade
benefits
Entidade
and
Entidade
(=>
(
member
?ATHEIST
Atheism
)
(
believes
?ATHEIST
(
not
(
exists
(?GOD)
(
equal
?GOD
God
)))))
People.kif 710-715
Agente Cognitivo
e'
membro
de
Atheism
Agente Cognitivo
acredita
que
Entidade
Entidade
e'
igual
a
God
(=>
(
member
?X
AntiVaxxer
)
(
believes
?X
(=>
(
and
(
instance
?V
Vaccination
)
(
experiencer
?V ?H))
(
suffers
?V ?H))))
Medicine.kif 3061-3068
Agente Cognitivo
e'
membro
de
AntiVaxxer
Agente Cognitivo
acredita
que
Entidade
e' uma
instancia
de
Vaccination
Entidade
experimenta
Entidade
suffers
Entidade
and
Entidade
(=>
(
pathologyCandidate
?H ?D)
(
exists
(?DOC ?DI)
(
and
(
instance
?DI ?D)
(
believes
?DOC
(
modalAttribute
(
experiencer
?D ?H)
Possibility
)))))
Medicine.kif 1954-1962
pathologyCandidate
Humano
and
Processo Patologico
Processo Patologico
OC
Processo Patologico
I
Processo Patologico
I e' uma
instancia
de
Processo Patologico
Processo Patologico
OC
acredita
que o argumento
Humano
experimenta
Processo Patologico
tem a
forca
modal
de
Possibility
(=>
(
trusts
?A1 ?A2 ?P)
(
believes
?A1
(=>
(
exists
(?S ?PI ?P)
(
and
(
instance
?S
Stating
)
(
containsFormula
?S
(
and
(
instance
?PI ?P)
(
agent
?PI ?A2)))))
(
modalAttribute
(
and
(
instance
?PI ?P)
(
agent
?PI ?A2))
Likely
))))
Law.kif 400-415
trusts
Agente Cognitivo
,
AutonomousAgent
and
Processo Intencional
Agente Cognitivo
acredita
que
Entidade
Processo Intencional
I and
Processo Intencional
Entidade
e' uma
instancia
de
Declarar
containsFormula
Entidade
and
Processo Intencional
I e' uma
instancia
de
Processo Intencional
Processo Intencional
I e' um
agente
de
AutonomousAgent
o argumento
Processo Intencional
I e' uma
instancia
de
Processo Intencional
Processo Intencional
I e' um
agente
de
AutonomousAgent
tem a
forca
modal
de
Likely
(=>
(
trusts
?A1 ?A2 ?P)
(
believes
?A1
(
modalAttribute
(
exists
(?PI)
(
and
(
instance
?PI ?P)
(
agent
?PI ?A2)))
Possibility
)))
Law.kif 390-398
trusts
Agente Cognitivo
,
AutonomousAgent
and
Processo Intencional
Agente Cognitivo
acredita
que o argumento
Processo Intencional
I
Processo Intencional
I e' uma
instancia
de
Processo Intencional
Processo Intencional
I e' um
agente
de
AutonomousAgent
tem a
forca
modal
de
Possibility
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