desires
(=>
(
holdsDuring
?T1
(
and
(
member
?AGENT1
Public
)
(
member
?AGENT2
Public
)
(
not
(
equal
?AGENT1 ?AGENT2))))
(
exists
(?INTEREST)
(
holdsDuring
?T1
(
and
(
desires
?AGENT1 ?INTEREST)
(
desires
?AGENT2 ?INTEREST)))))
Mid-level-ontology.kif 26068-26079
Entit�
è un
membro
di
Public
Entit�
è un
membro
di
Public
Entit�
is
uguale
a
Entit�
vales
durante
PosizioneTemporale
Entit�
Entit�
desidera
s
Entit�
Entit�
desidera
s
Entit�
vales
durante
PosizioneTemporale
(=>
(
hopes
?AGENT ?FORMULA)
(
desires
?AGENT ?FORMULA))
Mid-level-ontology.kif 7403-7405
hopes
AgenteCognitivo
and
Formula
AgenteCognitivo
desidera
s
Formula
(=>
(
inhibits
?A ?P)
(
desires
?A
(
not
(
exists
(?I)
(
instance
?I ?P)))))
Mid-level-ontology.kif 18370-18375
AgenteCognitivo
inibisce
Processo
AgenteCognitivo
desidera
s
Entit�
Entit�
è un'
istanza
di
Processo
(=>
(
instance
?AW
ArtWork
)
(
hasPurpose
?AW
(
exists
(?H)
(
and
(
instance
?H
Human
)
(
desires
?H
(
exists
(?P)
(
and
(
instance
?P
Perception
)
(
experiencer
?P ?H)
(
patient
?P ?AW))))))))
Merge.kif 15876-15887
Entit�Concreta
è un'
istanza
di
OperaD'Arte
Entit�Concreta
ha
scopo
Entit�
Entit�
è un'
istanza
di
Umano
Entit�
desidera
s
Entit�
Entit�
è un'
istanza
di
Percezione
Entit�
esperisce
s
Entit�
Entit�Concreta
è un
paziente
di
Entit�
(=>
(
instance
?BRD
BusinessRequirementDocument
)
(
exists
(?PLAN ?BU ?PROC)
(
and
(
instance
?PLAN
Plan
)
(
instance
?BU
Business
)
(
instance
?PROC
Process
)
(
represents
?PLAN ?PROC)
(
desires
?BU ?PROC)
(
containsInformation
?BRD ?PLAN))))
UXExperimentalTerms.kif 2596-2605
ContentBearingPhysical
è un'
istanza
di
BusinessRequirementDocument
Proposizione
AgenteCognitivo
and
Formula
Proposizione
è un'
istanza
di
Programma
AgenteCognitivo
è un'
istanza
di
Business
Formula
è un'
istanza
di
Processo
Proposizione
esprime
Formula
AgenteCognitivo
desidera
s
Formula
ContentBearingPhysical
contiene
s informazione
Proposizione
(=>
(
instance
?P
Phishing
)
(
exists
(?FS ?V ?M ?I)
(
and
(
instance
?M
Communication
)
(
origin
?M ?FS)
(
agent
?P ?FS)
(
destination
?M ?V)
(
instance
?I
Formula
)
(
knows
?V ?I)
(
not
(
desires
?V
(
knows
?FS ?I)))
(
desires
?FS
(
knows
?FS ?I)))))
ComputingBrands.kif 4235-4249
Processo
è un'
istanza
di
Phishing
AgenteCognitivo
AgenteCognitivo
,
Processo
and
Formula
Processo
è un'
istanza
di
Comunicazione
Processo
si
originas in
AgenteCognitivo
Processo
è un
agente
di
AgenteCognitivo
Processo
fine
s in
AgenteCognitivo
Formula
è un'
istanza
di
Formula
AgenteCognitivo
conosce
s
Formula
AgenteCognitivo
non
desidera
AgenteCognitivo
conosce
s
Formula
AgenteCognitivo
desidera
s
AgenteCognitivo
conosce
s
Formula
(=>
(
instance
?P
Prompting
)
(
exists
(?H ?A)
(
and
(
destination
?P ?H)
(
agent
?P ?A)
(
desires
?A
(
exists
(?LC)
(
and
(
instance
?LC
LinguisticCommunication
)
(
agent
?LC ?H)
(
earlier
?P ?LC)
(
subsumesContentInstance
?LC ?P)))))))
Mid-level-ontology.kif 29698-29710
Processo
è un'
istanza
di
Prompting
Entit�
AgenteCognitivo
Processo
fine
s in
Entit�
Processo
è un
agente
di
AgenteCognitivo
AgenteCognitivo
desidera
s
Entit�
Entit�
è un'
istanza
di
LinguisticCommunication
Entit�
è un
agente
di
Entit�
Processo
accades
prima
di
Entit�
Entit�
sussume
il contenuto di
Processo
(=>
(
instance
?S
Sieve
)
(
hasPurpose
?S
(
exists
(?REMOVE ?MIX ?SUB ?HOLE ?A)
(
and
(
instance
?REMOVE
Removing
)
(
instance
?MIX
Mixture
)
(
instance
?SUB
Substance
)
(
part
?SUB ?MIX)
(
patient
?REMOVE ?SUB)
(
part
?HOLE ?S)
(
instrument
?REMOVE ?HOLE)
(
instance
?A
Human
)
(
agent
?REMOVE ?A)
(
not
(
desires
?A ?SUB))))))
Mid-level-ontology.kif 4528-4543
Entit�Concreta
è un'
istanza
di
Sieve
Entit�Concreta
ha
scopo
Entit�
Entit�
,
Entit�Concreta
UB,
Entit�
and
Entit�
Entit�
è un'
istanza
di
Spostamento
Entit�
è un'
istanza
di
Mistura
Entit�Concreta
UB è un'
istanza
di
Sostanza
Entit�Concreta
UB è una
parte
di
Entit�
Entit�Concreta
UB è un
paziente
di
Entit�
Entit�
è una
parte
di
Entit�Concreta
Entit�
è uno
strumento
per
Entit�
Entit�
è un'
istanza
di
Umano
Entit�
è un
agente
di
Entit�
Entit�
non
desidera
Entit�Concreta
UB
(=>
(
instance
?X
(
AbortedFn
?A ?P))
(
exists
(?T)
(
and
(
holdsDuring
?T
(
desires
?A
(
exists
(?PR)
(
and
(
instance
?PR ?P)
(
agent
?PR ?A)))))
(
earlier
?T
(
WhenFn
?X)))))
MilitaryProcesses.kif 2417-2428
Entit�Concreta
è un'
istanza
di
AbortedFn
AutonomousAgent
and
Processo
IntervalloTemporale
AutonomousAgent
desidera
s
Processo
R
Processo
R è un'
istanza
di
Processo
Processo
R è un
agente
di
AutonomousAgent
vales
durante
IntervalloTemporale
IntervalloTemporale
accades
prima
di il
tempo
di esistenza di
Entit�Concreta
(=>
(
plays
?G ?A)
(
desires
?A
(
and
(
instance
?S
Score
)
(
subProcess
?S ?G)
(
agent
?S ?A))))
ComputingBrands.kif 1710-1716
plays
Gioco
and
AgenteCognitivo
AgenteCognitivo
desidera
s
Entit�
è un'
istanza
di
Score
Entit�
è un
sottoprocesso
di
Gioco
Entit�
è un
agente
di
AgenteCognitivo
(=>
(
plays
?G ?A)
(
desires
?A
(
exists
(?S)
(
achievement
?G ?A ?S))))
ComputingBrands.kif 1671-1675
plays
Gioco
and
AgenteCognitivo
AgenteCognitivo
desidera
s
Entit�
achievement
Gioco
,
AgenteCognitivo
and
Entit�
(=>
(
prohibits
?A ?F)
(
desires
?A
(
not
?F)))
Law.kif 55-58
prohibits
AgenteCognitivo
and
Formula
AgenteCognitivo
desidera
s
Formula
(=>
(
shortage
?A ?O ?C ?T ?Q)
(
desires
?A
(
exists
(?I)
(
and
(
instance
?I ?O)
(
possesses
?A ?I)))))
Mid-level-ontology.kif 30878-30884
shortage
AgenteCognitivo
,
Oggetto
,
MisuraMonetaria
,
IntervalloTemporale
and
Quantit�
AgenteCognitivo
desidera
s
Entit�
Entit�
è un'
istanza
di
Oggetto
AgenteCognitivo
possiede
es
Entit�
(=>
(
webSeller
?SELLER ?SITE)
(
desires
?SELLER
(
exists
(?SELLING)
(
and
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?SELLER)))))
UXExperimentalTerms.kif 967-973
webSeller
Umano
and
WebSite
Umano
desidera
s
Entit�
Entit�
è un'
istanza
di
Vendere
Entit�
è un
agente
di
Umano
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