believes
(=>
(
and
(
instance
?X
SuicideBombing
)
(
agent
?X ?P))
(
believes
?P
(
holdsDuring
(
FutureFn
(
WhenFn
?X))
(
attribute
?P
Dead
))))
Mid-level-ontology.kif 22111-22119
If
a process
is an
instance
of
suicide bombing
and
a cognitive agent
is an
agent
of
the process
,
then
the cognitive agent
believe
s
dead
is an
attribute
of
the cognitive agent
holds
during
after
the
time
of existence of
the process
(=>
(
and
(
subclass
?PLATFORM
PartyPlatform
)
(
authors
?PARTY ?PLATFORM)
(
instance
?PARTY
PoliticalParty
)
(
instance
?INST ?PLATFORM)
(
containsFormula
?INST ?P))
(
believes
?PARTY ?P))
Government.kif 2331-2338
If
a kind of content bearing object
is a
subclass
of
party platform
and
a cognitive agent
is the
author
of
a kind of content bearing object
and
the cognitive agent
is an
instance
of
political party
and
a content bearing physical
is an
instance
of
the kind of content bearing object
and
the content bearing physical
contains the formula
a formula
,
then
the cognitive agent
believe
s
the formula
(=>
(
approves
?AGENT1 ?AGENT2)
(
exists
(?PROP)
(
believes
?AGENT1
(
conforms
?AGENT2 ?PROP))))
Mid-level-ontology.kif 26953-26957
If
a cognitive agent
approves
another cognitive agent
,
then there exists
an entity
such that
the cognitive agent
believe
s
the other cognitive agent
conforms
to
the entity
(=>
(
attribute
?DEIST
Deist
)
(
believes
?DEIST
(
exists
(?GOD)
(
equal
?GOD
God
))))
People.kif 742-746
If
deist
is an
attribute
of
a cognitive agent
,
then
the cognitive agent
believe
s there exists
an entity
such that
the entity
is
equal
to
god
(=>
(
diseaseCandidate
?H ?D)
(
exists
(?DOC)
(
believes
?DOC
(
modalAttribute
(
attribute
?H ?D)
Possibility
))))
Medicine.kif 1939-1945
If
a human
may have
a disease or syndrome
,
then there exists
the disease or syndrome
OC such that
the disease or syndrome
OC
believe
s the statement
the disease or syndrome
is an
attribute
of
the human
has the
modal
force
of
possibility
(=>
(
distrusts
?A1 ?A2 ?P)
(
believes
?A1
(
modalAttribute
(
exists
(?PI)
(
and
(
instance
?PI ?P)
(
agent
?PI ?A2)))
Unlikely
)))
Law.kif 422-430
If
a cognitive agent
distrusts
an agent
,
then
the cognitive agent
believe
s the statement there exists
an entity
such that
the entity
is an
instance
of
a kind of intentional process
and
the agent
is an
agent
of
the entity
has the
modal
force
of
unlikely
(=>
(
doubts
?AGENT ?FORMULA)
(
not
(
believes
?AGENT ?FORMULA)))
Mid-level-ontology.kif 7416-7418
If
a formula
is a
doubts
of
a cognitive agent
,
then
the cognitive agent
doesn't
believe
the formula
(=>
(
enemy
?AGENT1 ?AGENT2)
(
and
(
believes
?AGENT1
(
attribute
?AGENT2
Enemy
))
(
believes
?AGENT2
(
attribute
?AGENT1
Enemy
))))
MilitaryProcesses.kif 2463-2469
If
a cognitive agent
and
another cognitive agent
are enemies of each other,
then
the cognitive agent
believe
s
enemy
is an
attribute
of
the other cognitive agent
and
the other cognitive agent
believe
s
enemy
is an
attribute
of
the cognitive agent
(=>
(
holdsDuring
?T
(
attribute
?A
Fear
))
(
believes
?A
(
modalAttribute
(
exists
(?P)
(
and
(
not
(
wants
?A ?P))
(
before
?T
(
WhenFn
?P))))
Likely
)))
emotion.kif 1025-1036
If
angst
is an
attribute
of
a cognitive agent
holds
during
a time position
,
then
the cognitive agent
believe
s the statement there exists
an entity
such that
the cognitive agent
doesn't
want
the entity
and
the time position
happens
before
the
time
of existence of
the entity
has the
modal
force
of
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
If
anti-vaxxer
is an
attribute
of
a cognitive agent
holds
during
a time position
,
then
the cognitive agent
believe
s there exist
an entity
and
another entity
such that
the entity
is an
instance
of
vaccination
and
the other entity
is an
instance
of
damaging
and
the entity
cause
s
the other entity
(=>
(
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 16411-16427
If
dizzy
is an
attribute
of
an entity
holds
during
a time position
,
then
the entity
believe
s
if there exists
the time position
2 such that
the time position
2 takes place
during
the time position
and
standing
is an
attribute
of
the entity
holds
during
the time position
2,
then there exists
a third entity
such that
the third entity
is an
instance
of
falling
and
the entity
experience
s
the third entity
and
the time position
2
meet
s the
time
of existence of
the third entity
holds
during
the time position
(=>
(
holdsDuring
?T1
(
expects
?AGENT ?FORMULA))
(
exists
(?T2)
(
and
(
holdsDuring
?T1
(
believes
?AGENT
(
holdsDuring
?T2 ?FORMULA)))
(
earlier
?T1 ?T2))))
Merge.kif 10595-10603
If
an entity
expects
another entity
will be true holds
during
a time interval
,
then there exists
another time interval
such that
the entity
believe
s
the other entity
holds
during
the other time interval
holds
during
the time interval
and
the time interval
happens
earlier
than
the other time interval
(=>
(
instance
?GROUP
BeliefGroup
)
(
exists
(?BELIEF)
(
forall
(?MEMB)
(=>
(
member
?MEMB ?GROUP)
(
believes
?MEMB ?BELIEF)))))
Merge.kif 16596-16602
If
a collection
is an
instance
of
belief group
,
then there exists
a formula
such that for all
a cognitive agent
if
the cognitive agent
is a
member
of
the collection
,
then
the cognitive agent
believe
s
the formula
(=>
(
instance
?PRETEND
Pretending
)
(
exists
(?PERSON ?PROP)
(
and
(
hasPurpose
?PRETEND
(
believes
?PERSON ?PROP))
(
truth
?PROP
False
))))
Merge.kif 13027-13032
If
a physical
is an
instance
of
pretending
,
then there exist
an entity
and
a sentence
such that
the physical
has the purpose
the entity
believe
s
the sentence
and
the sentence
is
false
(=>
(
knows
?AGENT ?FORMULA)
(
believes
?AGENT ?FORMULA))
Merge.kif 2834-2836
If
a cognitive agent
know
s
a formula
,
then
the cognitive agent
believe
s
the 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 9652-9665
If
a kind of medicine
is medicine for
a disease or syndrome
,
then there exists
the disease or syndrome
OC such that
the disease or syndrome
OC is an
instance
of
medical doctor
and
the disease or syndrome
OC
believe
s there exist
an entity
,
another entity
and
a third entity
such that
the third entity
is an
instance
of
a kind of medicine
and
the entity
is an
instance
of
therapeutic process
and
the other entity
is an
instance
of
human
and
the disease or syndrome
OC is a
patient
medical of
the other entity
and
the third entity
is a
resource
for
the entity
and
the other entity
is a beneficiary of
the entity
(=>
(
member
?ATHEIST
Atheism
)
(
believes
?ATHEIST
(
not
(
exists
(?GOD)
(
equal
?GOD
God
)))))
People.kif 710-715
If
a cognitive agent
is a
member
of
atheism
,
then
the cognitive agent
believe
s there doesn't exist
an entity
such that
the entity
is
equal
to
god
(=>
(
member
?X
AntiVaxxer
)
(
believes
?X
(=>
(
and
(
instance
?V
Vaccination
)
(
experiencer
?V ?H))
(
suffers
?V ?H))))
Medicine.kif 3061-3068
If
a cognitive agent
is a
member
of
anti-vaxxer
,
then
the cognitive agent
believe
s
if
an entity
is an
instance
of
vaccination
and
another entity
experience
s
the entity
,
then
the other entity
suffers
from
the entity
(=>
(
pathologyCandidate
?H ?D)
(
exists
(?DOC ?DI)
(
and
(
instance
?DI ?D)
(
believes
?DOC
(
modalAttribute
(
experiencer
?D ?H)
Possibility
)))))
Medicine.kif 1954-1962
If
a human
may have
a kind of pathologic process
,
then there exist
a kind of pathologic process
OC and
the kind of pathologic process
I such that
the kind of pathologic process
I is an
instance
of
the kind of pathologic process
and
the kind of pathologic process
OC
believe
s the statement
the human
experience
s
the kind of pathologic process
has the
modal
force
of
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
If
a cognitive agent
trusts
an agent
,
then
the cognitive agent
believe
s
if there exist
an entity
,
another entity
and
a kind of intentional process
such that
the entity
is an
instance
of
stating
and
the entity
contains the formula
the other entity
is an
instance
of
a kind of intentional process
and
the agent
is an
agent
of
the other entity
,
then the statement
the other entity
is an
instance
of
the kind of intentional process
and
the agent
is an
agent
of
the other entity
has the
modal
force
of
likely
(=>
(
trusts
?A1 ?A2 ?P)
(
believes
?A1
(
modalAttribute
(
exists
(?PI)
(
and
(
instance
?PI ?P)
(
agent
?PI ?A2)))
Possibility
)))
Law.kif 390-398
If
a cognitive agent
trusts
an agent
,
then
the cognitive agent
believe
s the statement there exists
an entity
such that
the entity
is an
instance
of
a kind of intentional process
and
the agent
is an
agent
of
the entity
has the
modal
force
of
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