desires
(=>
(
and
(
parent
?CHILD ?PARENT)
(
or
(
instance
?CHILD
HumanChild
)
(
instance
?CHILD
HumanBaby
)))
(
modalAttribute
(
exists
(?CARE)
(
and
(
instance
?CARE
ChildCareService
)
(
desires
?PARENT ?CARE)))
Possibility
))
Hotel.kif 1890-1900
Organismo
è un
parente
di
Organismo
Organismo
è un'
istanza
di
HumanChild
Organismo
è un'
istanza
di
HumanBaby
l'affermazione
Entit�
Entit�
è un'
istanza
di
ChildCareService
Organismo
desidera
s
Entit�
ha il modello di forza di
Possibility
(=>
(
and
(
prosecutor
?P ?A)
(
defendant
?P ?D))
(
desires
?A
(
exists
(?L)
(
and
(
instance
?L
LegalDecision
)
(
refers
?L ?P)
(
not
(
wants
?D ?L))))))
Law.kif 318-328
prosecutor
AzioneLegale
and
AgenteCognitivo
defendant
AzioneLegale
and
AgenteCognitivo
AgenteCognitivo
desidera
s
Entit�
Entit�
è un'
istanza
di
LegalDecision
Entit�
include un
riferimento
a
AzioneLegale
AgenteCognitivo
non
vuole
Entit�
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
Integer
))
(
desires
?A
(
exists
(?B ?G)
(
and
(
instance
?B
Buying
)
(
during
(
WhenFn
?B) ?T)
(
objectTransferred
?B ?G)
(
transactionAmount
?B ?C)
(
agent
?B ?A)
(
instance
?G
Collection
)
(
memberType
?G ?O)
(
memberCount
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 30944-30959
shortage
AgenteCognitivo
,
Oggetto
,
MisuraMonetaria
,
IntervalloTemporale
and
Quantit�
Quantit�
è un'
istanza
di
NumeroIntero
AgenteCognitivo
desidera
s
Entit�
Entit�
Entit�
è un'
istanza
di
Acquistare
il
tempo
di esistenza di
Entit�
has luogo
durante
IntervalloTemporale
objectTransferred
Entit�
and
Entit�
transactionAmount
Entit�
and
MisuraMonetaria
Entit�
è un
agente
di
AgenteCognitivo
Entit�
è un'
istanza
di
InsiemeConcreto
memberType
Entit�
and
Oggetto
memberCount
Entit�
and
Quantit�
AgenteCognitivo
possiede
es
Entit�
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
Integer
))
(
desires
?A
(
exists
(?G)
(
and
(
instance
?G
Collection
)
(
memberType
?G ?O)
(
memberCount
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 30886-30896
shortage
AgenteCognitivo
,
Oggetto
,
MisuraMonetaria
,
IntervalloTemporale
and
Quantit�
Quantit�
è un'
istanza
di
NumeroIntero
AgenteCognitivo
desidera
s
Entit�
Entit�
è un'
istanza
di
InsiemeConcreto
memberType
Entit�
and
Oggetto
memberCount
Entit�
and
Quantit�
AgenteCognitivo
possiede
es
Entit�
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
PhysicalQuantity
))
(
desires
?A
(
exists
(?B ?G)
(
and
(
instance
?B
Buying
)
(
during
(
WhenFn
?B) ?T)
(
objectTransferred
?B ?G)
(
transactionAmount
?B ?C)
(
agent
?B ?A)
(
instance
?G ?O)
(
measure
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 30961-30975
shortage
AgenteCognitivo
,
Oggetto
,
MisuraMonetaria
,
IntervalloTemporale
and
Quantit�
Quantit�
è un'
istanza
di
Quantit�Fisica
AgenteCognitivo
desidera
s
Entit�
Entit�
Entit�
è un'
istanza
di
Acquistare
il
tempo
di esistenza di
Entit�
has luogo
durante
IntervalloTemporale
objectTransferred
Entit�
and
Entit�
transactionAmount
Entit�
and
MisuraMonetaria
Entit�
è un
agente
di
AgenteCognitivo
Entit�
è un'
istanza
di
Oggetto
la
misura
Entit�
è
Quantit�
AgenteCognitivo
possiede
es
Entit�
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
PhysicalQuantity
))
(
desires
?A
(
exists
(?G)
(
and
(
instance
?G ?O)
(
measure
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 30900-30909
shortage
AgenteCognitivo
,
Oggetto
,
MisuraMonetaria
,
IntervalloTemporale
and
Quantit�
Quantit�
è un'
istanza
di
Quantit�Fisica
AgenteCognitivo
desidera
s
Entit�
Entit�
è un'
istanza
di
Oggetto
la
misura
Entit�
è
Quantit�
AgenteCognitivo
possiede
es
Entit�
(=>
(
and
(
wants
?AGENT ?OBJ)
(
instance
?OBJ
Object
))
(
desires
?AGENT
(
possesses
?AGENT ?OBJ)))
Merge.kif 2777-2782
AgenteCognitivo
vuole
s
Entit�Concreta
Entit�Concreta
è un'
istanza
di
Oggetto
AgenteCognitivo
desidera
s
AgenteCognitivo
possiede
es
Entit�Concreta
(=>
(
and
(
watchingListings
?USER ?COLL ?SITE)
(
instance
?LISTING
WebListing
)
(
instance
?OBJ
Object
)
(
patient
?LISTING ?OBJ)
(
member
?LISTING ?COLL))
(
modalAttribute
(
desires
?USER
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
patient
?BUYING ?OBJ)
(
agent
?BUYING ?USER))))
Likely
))
UXExperimentalTerms.kif 1257-1271
watchingListings
AutonomousAgent
,
InsiemeConcreto
and
WebSite
Processo
è un'
istanza
di
WebListing
Entit�
è un'
istanza
di
Oggetto
Entit�
è un
paziente
di
Processo
Processo
è un
membro
di
InsiemeConcreto
l'affermazione
AutonomousAgent
desidera
s
Entit�
Entit�
è un'
istanza
di
Acquistare
Entit�
è un
paziente
di
Entit�
Entit�
è un
agente
di
AutonomousAgent
ha il modello di forza di
Likely
(=>
(
and
(
webcart
?USER ?COLL ?SITE)
(
instance
?OBJ
Object
)
(
member
?OBJ ?COLL))
(
desires
?USER
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
patient
?BUYING ?OBJ)
(
agent
?BUYING ?USER)))))
UXExperimentalTerms.kif 690-700
webcart
AgenteCognitivo
,
InsiemeConcreto
and
WebSite
Entit�Concreta
è un'
istanza
di
Oggetto
Entit�Concreta
è un
membro
di
InsiemeConcreto
AgenteCognitivo
desidera
s
Entit�
Entit�
è un'
istanza
di
Acquistare
Entit�Concreta
è un
paziente
di
Entit�
Entit�
è un
agente
di
AgenteCognitivo
(=>
(
attribute
?A
Bored
)
(
exists
(?DO)
(
and
(
instance
?DO
IntentionalProcess
)
(
agent
?DO ?A)
(
holdsDuring
(
WhenFn
?DO)
(
desires
?A
(
not
(
agent
?DO ?A)))))))
Mid-level-ontology.kif 19827-19836
attribute
AutonomousAgent
and
Bored
Processo
Processo
è un'
istanza
di
ProcessoIntenzionale
Processo
è un
agente
di
AutonomousAgent
AutonomousAgent
desidera
s
Processo
è un
agente
di
AutonomousAgent
vales
durante
il
tempo
di esistenza di
Processo
(=>
(
attribute
?A
Hungry
)
(
desires
?A
(
exists
(?E)
(
and
(
instance
?E
Eating
)
(
agent
?E ?A)))))
Mid-level-ontology.kif 19790-19796
attribute
AgenteCognitivo
and
Hungry
AgenteCognitivo
desidera
s
Entit�
Entit�
è un'
istanza
di
Mangiare
Entit�
è un
agente
di
AgenteCognitivo
(=>
(
attribute
?A
Schadenfreude
)
(
exists
(?A2 ?P)
(
and
(
causesProposition
?P
(
attribute
?A
Schadenfreude
))
(
not
(
equal
?A ?A2))
(
not
(
desires
?A2 ?P)))))
emotion.kif 766-775
attribute
Oggetto
and
Schadenfreude
Oggetto
2
Formula
causesProposition
Formula
and
attribute
Oggetto
and
Schadenfreude
Oggetto
is
uguale
a
Oggetto
2
Oggetto
2 non
desidera
Formula
(=>
(
attribute
?A
Thirsty
)
(
desires
?A
(
exists
(?D)
(
and
(
instance
?D
Drinking
)
(
agent
?D ?A)))))
Mid-level-ontology.kif 19803-19809
attribute
AgenteCognitivo
and
Thirsty
AgenteCognitivo
desidera
s
Entit�
Entit�
è un'
istanza
di
Bere
Entit�
è un
agente
di
AgenteCognitivo
(=>
(
attribute
?A
Tired
)
(
desires
?A
(
exists
(?S)
(
and
(
instance
?S
Sleeping
)
(
agent
?S ?A)))))
Mid-level-ontology.kif 19815-19821
attribute
AgenteCognitivo
and
Tired
AgenteCognitivo
desidera
s
Entit�
Entit�
è un'
istanza
di
Sleeping
Entit�
è un
agente
di
AgenteCognitivo
(=>
(
attribute
?X
PoliticalFigure
)
(
exists
(?GOV)
(
and
(
instance
?GOV
Government
)
(
or
(
member
?X ?GOV)
(
desires
?X
(
member
?X ?GOV))))))
Mid-level-ontology.kif 22542-22550
attribute
AgenteCognitivo
and
PoliticalFigure
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
Governo
AgenteCognitivo
è un
membro
di
InsiemeConcreto
AgenteCognitivo
desidera
s
AgenteCognitivo
è un
membro
di
InsiemeConcreto
(=>
(
counselInCase
?H ?A ?L)
(
desires
?H
(
exists
(?LD)
(
and
(
instance
?LD
LegalDecision
)
(
causes
?L ?LD)
(
benefits
?LD ?A)))))
Law.kif 464-471
counselInCase
Umano
,
AutonomousAgent
and
AzioneLegale
Umano
desidera
s
AzioneLegale
D
AzioneLegale
D è un'
istanza
di
LegalDecision
AzioneLegale
causa
s
AzioneLegale
D
benefits
AzioneLegale
D and
AutonomousAgent
(=>
(
dislikes
?AGENT ?OBJECT)
(
desires
?AGENT
(
not
(
possesses
?AGENT ?OBJECT))))
Mid-level-ontology.kif 7431-7433
dislikes
AgenteCognitivo
and
Oggetto
AgenteCognitivo
desidera
s
AgenteCognitivo
non
possiede
Oggetto
(=>
(
enjoys
?AGENT ?PROCESS)
(
desires
?AGENT
(
exists
(?INSTANCE)
(
and
(
instance
?INSTANCE ?PROCESS)
(
or
(
agent
?INSTANCE ?AGENT)
(
experiencer
?INSTANCE ?AGENT))))))
Mid-level-ontology.kif 7375-7383
enjoys
AgenteCognitivo
and
Entit�
AgenteCognitivo
desidera
s
Entit�
Entit�
è un'
istanza
di
Entit�
Entit�
è un
agente
di
AgenteCognitivo
AgenteCognitivo
esperisce
s
Entit�
(=>
(
equal
?DEP
(
DepartmentOfPreventingFn
?COMP ?PHYS))
(
not
(
desires
?COMP
(
exists
(?P)
(
and
(
instance
?P ?PHYS)
(
involvedInEvent
?P ?COMP))))))
Mid-level-ontology.kif 18407-18414
Organizzazione
is
uguale
a
DepartmentOfPreventingFn
Organizzazione
and
Entit�Concreta
Organizzazione
non
desidera
Entit�
Entit�
è un'
istanza
di
Entit�Concreta
involvedInEvent
Entit�
and
Organizzazione
(=>
(
fears
?AGENT ?FORMULA)
(
not
(
desires
?AGENT ?FORMULA)))
Mid-level-ontology.kif 7392-7395
fears
AgenteCognitivo
and
Formula
AgenteCognitivo
non
desidera
Formula
(=>
(
holdsDuring
?T
(
and
(
located
?H ?L)
(
airTemperature
?L
(
MeasureFn
?T ?TU))
(
attribute
?H
FeelingCold
)))
(
desires
?H
(
holdsDuring
?T
(
and
(
airTemperature
?L
(
MeasureFn
?T2 ?TU))
(
greaterThan
?T2 ?T)))))
emotion.kif 1865-1877
AgenteCognitivo
è
localizzato
in
Entit�
airTemperature
Entit�
and
PosizioneTemporale
PosizioneTemporale
U(s
attribute
AgenteCognitivo
and
FeelingCold
vales
durante
PosizioneTemporale
AgenteCognitivo
desidera
s
airTemperature
Entit�
and
PosizioneTemporale
2
PosizioneTemporale
U(s
PosizioneTemporale
2 è
pi
ù grande di
PosizioneTemporale
vales
durante
PosizioneTemporale
(=>
(
holdsDuring
?T
(
and
(
located
?H ?L)
(
airTemperature
?L
(
MeasureFn
?T ?TU))
(
attribute
?H
FeelingHot
)))
(
desires
?H
(
holdsDuring
?T
(
and
(
airTemperature
?L
(
MeasureFn
?T2 ?TU))
(
greaterThan
?T ?T2)))))
emotion.kif 1902-1914
AgenteCognitivo
è
localizzato
in
Entit�
airTemperature
Entit�
and
PosizioneTemporale
PosizioneTemporale
U(s
attribute
AgenteCognitivo
and
FeelingHot
vales
durante
PosizioneTemporale
AgenteCognitivo
desidera
s
airTemperature
Entit�
and
PosizioneTemporale
2
PosizioneTemporale
U(s
PosizioneTemporale
è
pi
ù grande di
PosizioneTemporale
2 vales
durante
PosizioneTemporale
(=>
(
holdsDuring
?T
(
attribute
?H
Insomnia
))
(
holdsDuring
?T
(
and
(
desires
?H
(
attribute
?H
Asleep
))
(
not
(
attribute
?H
Asleep
)))))
Medicine.kif 2095-2103
attribute
Entit�
and
Insomnia
vales
durante
PosizioneTemporale
Entit�
desidera
s
attribute
Entit�
and
Addormentato
attribute
Entit�
and
Addormentato
vales
durante
PosizioneTemporale
(=>
(
holdsDuring
?T
(
attribute
?H
RectalTenesmus
))
(
holdsDuring
?T
(
and
(
desires
?H
(
exists
(?D)
(
and
(
instance
?D
Defecation
)
(
agent
?D ?H))))
(
not
(
needs
?H
(
exists
(?D)
(
and
(
instance
?D
Defecation
)
(
agent
?D ?H))))))))
Medicine.kif 5110-5125
attribute
Entit�
and
RectalTenesmus
vales
durante
PosizioneTemporale
Entit�
desidera
s
Entit�
Entit�
è un'
istanza
di
Defecation
Entit�
è un
agente
di
Entit�
Entit�
non
necessita
di
Entit�
Entit�
è un'
istanza
di
Defecation
Entit�
è un
agente
di
Entit�
vales
durante
PosizioneTemporale
(=>
(
holdsDuring
?T
(
attribute
?H
Sleepy
))
(
desires
?H
(
holdsDuring
(
ImmediateFutureFn
?T)
(
attribute
?H
Asleep
))))
Mid-level-ontology.kif 16433-16439
attribute
AgenteCognitivo
and
Sleepy
vales
durante
PosizioneTemporale
AgenteCognitivo
desidera
s
attribute
AgenteCognitivo
and
Addormentato
vales
durante
immediatamente
dopo
PosizioneTemporale
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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