believes
(=>
(
and
(
instance
?X
SuicideBombing
)
(
agent
?X ?P))
(
believes
?P
(
holdsDuring
(
FutureFn
(
WhenFn
?X))
(
attribute
?P
Dead
))))
Mid-level-ontology.kif 22111-22119
Processus
est une
instance
de
SuicideBombing
processus
est un
agent
de
agent cognitif
agent cognitif
croit
Dead
est un
attribut
de
agent cognitif
pendant
apr
�s
temps
d'existence de
processus
(=>
(
and
(
subclass
?PLATFORM
PartyPlatform
)
(
authors
?PARTY ?PLATFORM)
(
instance
?PARTY
PoliticalParty
)
(
instance
?INST ?PLATFORM)
(
containsFormula
?INST ?P))
(
believes
?PARTY ?P))
Government.kif 2331-2338
Objet exprimant un sens
est une
sous
-classe de
PartyPlatform
agent cognitif
est l'
auteur
de
objet exprimant un sens
agent cognitif
est une
instance
de
PoliticalParty
ContentBearingPhysical
est une
instance
de
objet exprimant un sens
containsFormula
ContentBearingPhysical
and
formule
agent cognitif
croit
formule
(=>
(
approves
?AGENT1 ?AGENT2)
(
exists
(?PROP)
(
believes
?AGENT1
(
conforms
?AGENT2 ?PROP))))
Mid-level-ontology.kif 26953-26957
approves
agent cognitif
and
agent cognitif
entit�
agent cognitif
croit
conforms
agent cognitif
and
entit�
(=>
(
attribute
?DEIST
Deist
)
(
believes
?DEIST
(
exists
(?GOD)
(
equal
?GOD
God
))))
People.kif 742-746
Deist
est un
attribut
de
agent cognitif
agent cognitif
croit
entit�
entit�
est
God
(=>
(
diseaseCandidate
?H ?D)
(
exists
(?DOC)
(
believes
?DOC
(
modalAttribute
(
attribute
?H ?D)
Possibility
))))
Medicine.kif 1939-1945
diseaseCandidate
humain
and
maladie ou syndrome
maladie ou syndrome
OC
maladie ou syndrome
OC
croit
l'argument
maladie ou syndrome
est un
attribut
de
humain
a la
force
modale
de
Possibility
(=>
(
distrusts
?A1 ?A2 ?P)
(
believes
?A1
(
modalAttribute
(
exists
(?PI)
(
and
(
instance
?PI ?P)
(
agent
?PI ?A2)))
Unlikely
)))
Law.kif 422-430
distrusts
agent cognitif
,
AutonomousAgent
and
processus intentionnel
agent cognitif
croit
l'argument
processus intentionnel
I
processus intentionnel
I est une
instance
de
processus intentionnel
processus intentionnel
I est un
agent
de
AutonomousAgent
a la
force
modale
de
Unlikely
(=>
(
doubts
?AGENT ?FORMULA)
(
not
(
believes
?AGENT ?FORMULA)))
Mid-level-ontology.kif 7416-7418
doubts
agent cognitif
and
formule
agent cognitif
ne
croit
%n{pas}
formule
(=>
(
enemy
?AGENT1 ?AGENT2)
(
and
(
believes
?AGENT1
(
attribute
?AGENT2
Enemy
))
(
believes
?AGENT2
(
attribute
?AGENT1
Enemy
))))
MilitaryProcesses.kif 2463-2469
enemy
agent cognitif
and
agent cognitif
agent cognitif
croit
Enemy
est un
attribut
de
agent cognitif
agent cognitif
croit
Enemy
est un
attribut
de
agent cognitif
(=>
(
holdsDuring
?T
(
attribute
?A
Fear
))
(
believes
?A
(
modalAttribute
(
exists
(?P)
(
and
(
not
(
wants
?A ?P))
(
before
?T
(
WhenFn
?P))))
Likely
)))
emotion.kif 1025-1036
Peur
est un
attribut
de
agent cognitif
pendant
position temporel
agent cognitif
croit
l'argument
entit�
agent cognitif
ne
veut
%n{pas}
entit�
position temporel
se produit
avant
temps
d'existence de
entit�
a la
force
modale
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
est un
attribut
de
agent cognitif
pendant
position temporel
agent cognitif
croit
entit�
entit�
entit�
est une
instance
de
Vaccination
entit�
est une
instance
de
endommager
entit�
cause
entit�
(=>
(
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
Dizzy
est un
attribut
de
entit�
pendant
position temporel
entit�
croit
position temporel
2
position temporel
2 prend place
pendant
position temporel
Standing
est un
attribut
de
entit�
pendant
position temporel
2
entit�
entit�
est une
instance
de
Falling
entit�
exp
�rimente
entit�
position temporel
2
rencontre
temps
d'existence de
entit�
pendant
position temporel
(=>
(
holdsDuring
?T1
(
expects
?AGENT ?FORMULA))
(
exists
(?T2)
(
and
(
holdsDuring
?T1
(
believes
?AGENT
(
holdsDuring
?T2 ?FORMULA)))
(
earlier
?T1 ?T2))))
Merge.kif 10595-10603
expects
entit�
and
entit�
pendant
interval temporel
interval temporel
entit�
croit
entit�
pendant
interval temporel
pendant
interval temporel
interval temporel
arrive
plus
t�t que
interval temporel
(=>
(
instance
?GROUP
BeliefGroup
)
(
exists
(?BELIEF)
(
forall
(?MEMB)
(=>
(
member
?MEMB ?GROUP)
(
believes
?MEMB ?BELIEF)))))
Merge.kif 16596-16602
Collection
est une
instance
de
BeliefGroup
formule
agent cognitif
agent cognitif
est un
membre
de
collection
agent cognitif
croit
formule
(=>
(
instance
?PRETEND
Pretending
)
(
exists
(?PERSON ?PROP)
(
and
(
hasPurpose
?PRETEND
(
believes
?PERSON ?PROP))
(
truth
?PROP
False
))))
Merge.kif 13027-13032
Physique
est une
instance
de
pr�tendre
entit�
phrase
physique
a pour
but
entit�
croit
phrase
truth
phrase
and
False
(=>
(
knows
?AGENT ?FORMULA)
(
believes
?AGENT ?FORMULA))
Merge.kif 2834-2836
Agent cognitif
conna
�t
formule
agent cognitif
croit
formule
(=>
(
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
medicine
Medicine
and
maladie ou syndrome
maladie ou syndrome
OC
maladie ou syndrome
OC est une
instance
de
MedicalDoctor
maladie ou syndrome
OC
croit
entit�
entit�
and
entit�
entit�
est une
instance
de
Medicine
entit�
est une
instance
de
processus therapeutique
entit�
est une
instance
de
humain
patientMedical
entit�
and
maladie ou syndrome
OC
entit�
est une
resource
pour
entit�
benefits
entit�
and
entit�
(=>
(
member
?ATHEIST
Atheism
)
(
believes
?ATHEIST
(
not
(
exists
(?GOD)
(
equal
?GOD
God
)))))
People.kif 710-715
Agent cognitif
est un
membre
de
Atheism
agent cognitif
croit
entit�
entit�
est
God
(=>
(
member
?X
AntiVaxxer
)
(
believes
?X
(=>
(
and
(
instance
?V
Vaccination
)
(
experiencer
?V ?H))
(
suffers
?V ?H))))
Medicine.kif 3061-3068
Agent cognitif
est un
membre
de
AntiVaxxer
agent cognitif
croit
entit�
est une
instance
de
Vaccination
entit�
exp
�rimente
entit�
suffers
entit�
and
entit�
(=>
(
pathologyCandidate
?H ?D)
(
exists
(?DOC ?DI)
(
and
(
instance
?DI ?D)
(
believes
?DOC
(
modalAttribute
(
experiencer
?D ?H)
Possibility
)))))
Medicine.kif 1954-1962
pathologyCandidate
humain
and
processus pathologique
processus pathologique
OC
processus pathologique
I
processus pathologique
I est une
instance
de
processus pathologique
processus pathologique
OC
croit
l'argument
humain
exp
�rimente
processus pathologique
a la
force
modale
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
agent cognitif
,
AutonomousAgent
and
processus intentionnel
agent cognitif
croit
entit�
processus intentionnel
I and
processus intentionnel
entit�
est une
instance
de
d�clarer
containsFormula
entit�
and
processus intentionnel
I est une
instance
de
processus intentionnel
processus intentionnel
I est un
agent
de
AutonomousAgent
l'argument
processus intentionnel
I est une
instance
de
processus intentionnel
processus intentionnel
I est un
agent
de
AutonomousAgent
a la
force
modale
de
Likely
(=>
(
trusts
?A1 ?A2 ?P)
(
believes
?A1
(
modalAttribute
(
exists
(?PI)
(
and
(
instance
?PI ?P)
(
agent
?PI ?A2)))
Possibility
)))
Law.kif 390-398
trusts
agent cognitif
,
AutonomousAgent
and
processus intentionnel
agent cognitif
croit
l'argument
processus intentionnel
I
processus intentionnel
I est une
instance
de
processus intentionnel
processus intentionnel
I est un
agent
de
AutonomousAgent
a la
force
modale
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