believes
(=>
(
and
(
instance
?X
SuicideBombing
)
(
agent
?X ?P))
(
believes
?P
(
holdsDuring
(
FutureFn
(
WhenFn
?X))
(
attribute
?P
Dead
))))
Mid-level-ontology.kif 22111-22119
Processo
è un'
istanza
di
SuicideBombing
Processo
è un
agente
di
AgenteCognitivo
AgenteCognitivo
crede
s
attribute
AgenteCognitivo
and
Dead
vales
durante
dopo
il
tempo
di esistenza di
Processo
(=>
(
and
(
subclass
?PLATFORM
PartyPlatform
)
(
authors
?PARTY ?PLATFORM)
(
instance
?PARTY
PoliticalParty
)
(
instance
?INST ?PLATFORM)
(
containsFormula
?INST ?P))
(
believes
?PARTY ?P))
Government.kif 2331-2338
OggettoSemiotico
è una
sottoclasse
di
PartyPlatform
AgenteCognitivo
è l'
autore
di
OggettoSemiotico
AgenteCognitivo
è un'
istanza
di
PoliticalParty
ContentBearingPhysical
è un'
istanza
di
OggettoSemiotico
containsFormula
ContentBearingPhysical
and
Formula
AgenteCognitivo
crede
s
Formula
(=>
(
approves
?AGENT1 ?AGENT2)
(
exists
(?PROP)
(
believes
?AGENT1
(
conforms
?AGENT2 ?PROP))))
Mid-level-ontology.kif 26953-26957
approves
AgenteCognitivo
and
AgenteCognitivo
Entit�
AgenteCognitivo
crede
s
conforms
AgenteCognitivo
and
Entit�
(=>
(
attribute
?DEIST
Deist
)
(
believes
?DEIST
(
exists
(?GOD)
(
equal
?GOD
God
))))
People.kif 742-746
attribute
AgenteCognitivo
and
Deist
AgenteCognitivo
crede
s
Entit�
Entit�
is
uguale
a
God
(=>
(
diseaseCandidate
?H ?D)
(
exists
(?DOC)
(
believes
?DOC
(
modalAttribute
(
attribute
?H ?D)
Possibility
))))
Medicine.kif 1939-1945
diseaseCandidate
Umano
and
MalattiaOSindrome
MalattiaOSindrome
OC
MalattiaOSindrome
OC
crede
s l'affermazione
attribute
Umano
and
MalattiaOSindrome
ha il modello di forza di
Possibility
(=>
(
distrusts
?A1 ?A2 ?P)
(
believes
?A1
(
modalAttribute
(
exists
(?PI)
(
and
(
instance
?PI ?P)
(
agent
?PI ?A2)))
Unlikely
)))
Law.kif 422-430
distrusts
AgenteCognitivo
,
AutonomousAgent
and
ProcessoIntenzionale
AgenteCognitivo
crede
s l'affermazione
ProcessoIntenzionale
I
ProcessoIntenzionale
I è un'
istanza
di
ProcessoIntenzionale
ProcessoIntenzionale
I è un
agente
di
AutonomousAgent
ha il modello di forza di
Unlikely
(=>
(
doubts
?AGENT ?FORMULA)
(
not
(
believes
?AGENT ?FORMULA)))
Mid-level-ontology.kif 7416-7418
doubts
AgenteCognitivo
and
Formula
AgenteCognitivo
non
crede
Formula
(=>
(
enemy
?AGENT1 ?AGENT2)
(
and
(
believes
?AGENT1
(
attribute
?AGENT2
Enemy
))
(
believes
?AGENT2
(
attribute
?AGENT1
Enemy
))))
MilitaryProcesses.kif 2463-2469
enemy
AgenteCognitivo
and
AgenteCognitivo
AgenteCognitivo
crede
s
attribute
AgenteCognitivo
and
Enemy
AgenteCognitivo
crede
s
attribute
AgenteCognitivo
and
Enemy
(=>
(
holdsDuring
?T
(
attribute
?A
Fear
))
(
believes
?A
(
modalAttribute
(
exists
(?P)
(
and
(
not
(
wants
?A ?P))
(
before
?T
(
WhenFn
?P))))
Likely
)))
emotion.kif 1025-1036
attribute
AgenteCognitivo
and
Fear
vales
durante
PosizioneTemporale
AgenteCognitivo
crede
s l'affermazione
Entit�
AgenteCognitivo
non
vuole
Entit�
PosizioneTemporale
succede%{s}
prima
di il
tempo
di esistenza di
Entit�
ha il modello di forza di
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
attribute
AgenteCognitivo
and
Antivaxxer
vales
durante
PosizioneTemporale
AgenteCognitivo
crede
s
Entit�
Entit�
Entit�
è un'
istanza
di
Vaccination
Entit�
è un'
istanza
di
Danneggiare
Entit�
causa
s
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
attribute
Entit�
and
Dizzy
vales
durante
PosizioneTemporale
Entit�
crede
s
PosizioneTemporale
2
PosizioneTemporale
2 has luogo
durante
PosizioneTemporale
attribute
Entit�
and
Standing
vales
durante
PosizioneTemporale
2
Entit�
Entit�
è un'
istanza
di
Falling
Entit�
esperisce
s
Entit�
PosizioneTemporale
2
incontra
s il
tempo
di esistenza di
Entit�
vales
durante
PosizioneTemporale
(=>
(
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�
vales
durante
IntervalloTemporale
IntervalloTemporale
Entit�
crede
s
Entit�
vales
durante
IntervalloTemporale
vales
durante
IntervalloTemporale
IntervalloTemporale
accades
prima
di
IntervalloTemporale
(=>
(
instance
?GROUP
BeliefGroup
)
(
exists
(?BELIEF)
(
forall
(?MEMB)
(=>
(
member
?MEMB ?GROUP)
(
believes
?MEMB ?BELIEF)))))
Merge.kif 16596-16602
InsiemeConcreto
è un'
istanza
di
BeliefGroup
Formula
AgenteCognitivo
AgenteCognitivo
è un
membro
di
InsiemeConcreto
AgenteCognitivo
crede
s
Formula
(=>
(
instance
?PRETEND
Pretending
)
(
exists
(?PERSON ?PROP)
(
and
(
hasPurpose
?PRETEND
(
believes
?PERSON ?PROP))
(
truth
?PROP
False
))))
Merge.kif 13027-13032
Entit�Concreta
è un'
istanza
di
Fingere
Entit�
Frase
Entit�Concreta
ha
scopo
Entit�
crede
s
Frase
truth
Frase
and
False
(=>
(
knows
?AGENT ?FORMULA)
(
believes
?AGENT ?FORMULA))
Merge.kif 2834-2836
AgenteCognitivo
conosce
s
Formula
AgenteCognitivo
crede
s
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
medicine
Medicine
and
MalattiaOSindrome
MalattiaOSindrome
OC
MalattiaOSindrome
OC è un'
istanza
di
MedicalDoctor
MalattiaOSindrome
OC
crede
s
Entit�
Entit�
and
Entit�
Entit�
è un'
istanza
di
Medicine
Entit�
è un'
istanza
di
ProcessoTerapeutico
Entit�
è un'
istanza
di
Umano
patientMedical
Entit�
and
MalattiaOSindrome
OC
Entit�
è una
risorsa
per
Entit�
benefits
Entit�
and
Entit�
(=>
(
member
?ATHEIST
Atheism
)
(
believes
?ATHEIST
(
not
(
exists
(?GOD)
(
equal
?GOD
God
)))))
People.kif 710-715
AgenteCognitivo
è un
membro
di
Atheism
AgenteCognitivo
crede
s
Entit�
Entit�
is
uguale
a
God
(=>
(
member
?X
AntiVaxxer
)
(
believes
?X
(=>
(
and
(
instance
?V
Vaccination
)
(
experiencer
?V ?H))
(
suffers
?V ?H))))
Medicine.kif 3061-3068
AgenteCognitivo
è un
membro
di
AntiVaxxer
AgenteCognitivo
crede
s
Entit�
è un'
istanza
di
Vaccination
Entit�
esperisce
s
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
Umano
and
ProcessoPatologico
ProcessoPatologico
OC
ProcessoPatologico
I
ProcessoPatologico
I è un'
istanza
di
ProcessoPatologico
ProcessoPatologico
OC
crede
s l'affermazione
Umano
esperisce
s
ProcessoPatologico
ha il modello di forza di
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
AgenteCognitivo
,
AutonomousAgent
and
ProcessoIntenzionale
AgenteCognitivo
crede
s
Entit�
ProcessoIntenzionale
I and
ProcessoIntenzionale
Entit�
è un'
istanza
di
Affermare
containsFormula
Entit�
and
ProcessoIntenzionale
I è un'
istanza
di
ProcessoIntenzionale
ProcessoIntenzionale
I è un
agente
di
AutonomousAgent
l'affermazione
ProcessoIntenzionale
I è un'
istanza
di
ProcessoIntenzionale
ProcessoIntenzionale
I è un
agente
di
AutonomousAgent
ha il modello di forza di
Likely
(=>
(
trusts
?A1 ?A2 ?P)
(
believes
?A1
(
modalAttribute
(
exists
(?PI)
(
and
(
instance
?PI ?P)
(
agent
?PI ?A2)))
Possibility
)))
Law.kif 390-398
trusts
AgenteCognitivo
,
AutonomousAgent
and
ProcessoIntenzionale
AgenteCognitivo
crede
s l'affermazione
ProcessoIntenzionale
I
ProcessoIntenzionale
I è un'
istanza
di
ProcessoIntenzionale
ProcessoIntenzionale
I è un
agente
di
AutonomousAgent
ha il modello di forza di
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