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
Organisme
est un
parent
de
organisme
organisme
est une
instance
de
HumanChild
organisme
est une
instance
de
HumanBaby
l'argument
entit�
entit�
est une
instance
de
ChildCareService
organisme
desire
entit�
a la
force
modale
de
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
action l�gale
and
agent cognitif
defendant
action l�gale
and
agent cognitif
agent cognitif
desire
entit�
entit�
est une
instance
de
LegalDecision
entit�
inclut une
r
�f�rence �
action l�gale
agent cognitif
ne
veut
%n{pas}
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 30956-30971
shortage
agent cognitif
,
objet
,
mesure de devise
,
interval temporel
and
quantit�
quantit�
est une
instance
de
nombre entier
agent cognitif
desire
entit�
entit�
entit�
est une
instance
de
acheter
temps
d'existence de
entit�
prend place
pendant
interval temporel
objectTransferred
entit�
and
entit�
transactionAmount
entit�
and
mesure de devise
entit�
est un
agent
de
agent cognitif
entit�
est une
instance
de
collection
memberType
entit�
and
objet
memberCount
entit�
and
quantit�
agent cognitif
poss
�de
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 30898-30908
shortage
agent cognitif
,
objet
,
mesure de devise
,
interval temporel
and
quantit�
quantit�
est une
instance
de
nombre entier
agent cognitif
desire
entit�
entit�
est une
instance
de
collection
memberType
entit�
and
objet
memberCount
entit�
and
quantit�
agent cognitif
poss
�de
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 30973-30987
shortage
agent cognitif
,
objet
,
mesure de devise
,
interval temporel
and
quantit�
quantit�
est une
instance
de
quantit� physique
agent cognitif
desire
entit�
entit�
entit�
est une
instance
de
acheter
temps
d'existence de
entit�
prend place
pendant
interval temporel
objectTransferred
entit�
and
entit�
transactionAmount
entit�
and
mesure de devise
entit�
est un
agent
de
agent cognitif
entit�
est une
instance
de
objet
la
mesure
de
entit�
est
quantit�
agent cognitif
poss
�de
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 30912-30921
shortage
agent cognitif
,
objet
,
mesure de devise
,
interval temporel
and
quantit�
quantit�
est une
instance
de
quantit� physique
agent cognitif
desire
entit�
entit�
est une
instance
de
objet
la
mesure
de
entit�
est
quantit�
agent cognitif
poss
�de
entit�
(=>
(
and
(
wants
?AGENT ?OBJ)
(
instance
?OBJ
Object
))
(
desires
?AGENT
(
possesses
?AGENT ?OBJ)))
Merge.kif 2777-2782
Agent cognitif
veut
physique
physique
est une
instance
de
objet
agent cognitif
desire
agent cognitif
poss
�de
physique
(=>
(
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
,
collection
and
WebSite
processus
est une
instance
de
WebListing
entit�
est une
instance
de
objet
entit�
est un
patient
de
processus
processus
est un
membre
de
collection
l'argument
AutonomousAgent
desire
entit�
entit�
est une
instance
de
acheter
entit�
est un
patient
de
entit�
entit�
est un
agent
de
AutonomousAgent
a la
force
modale
de
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
agent cognitif
,
collection
and
WebSite
physique
est une
instance
de
objet
physique
est un
membre
de
collection
agent cognitif
desire
entit�
entit�
est une
instance
de
acheter
physique
est un
patient
de
entit�
entit�
est un
agent
de
agent cognitif
(=>
(
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 19828-19837
Bored
est un
attribut
de
AutonomousAgent
processus
processus
est une
instance
de
processus intentionnel
processus
est un
agent
de
AutonomousAgent
AutonomousAgent
desire
processus
est un
agent
de
AutonomousAgent
pendant
temps
d'existence de
processus
(=>
(
attribute
?A
Hungry
)
(
desires
?A
(
exists
(?E)
(
and
(
instance
?E
Eating
)
(
agent
?E ?A)))))
Mid-level-ontology.kif 19791-19797
Hungry
est un
attribut
de
agent cognitif
agent cognitif
desire
entit�
entit�
est une
instance
de
manger
entit�
est un
agent
de
agent cognitif
(=>
(
attribute
?A
Schadenfreude
)
(
exists
(?A2 ?P)
(
and
(
causesProposition
?P
(
attribute
?A
Schadenfreude
))
(
not
(
equal
?A ?A2))
(
not
(
desires
?A2 ?P)))))
emotion.kif 766-775
Schadenfreude
est un
attribut
de
objet
objet
2
formule
causesProposition
formule
and
Schadenfreude
est un
attribut
de
objet
objet
est
objet
2
objet
2 ne
desire
%n{pas}
formule
(=>
(
attribute
?A
Thirsty
)
(
desires
?A
(
exists
(?D)
(
and
(
instance
?D
Drinking
)
(
agent
?D ?A)))))
Mid-level-ontology.kif 19804-19810
Thirsty
est un
attribut
de
agent cognitif
agent cognitif
desire
entit�
entit�
est une
instance
de
boire
entit�
est un
agent
de
agent cognitif
(=>
(
attribute
?A
Tired
)
(
desires
?A
(
exists
(?S)
(
and
(
instance
?S
Sleeping
)
(
agent
?S ?A)))))
Mid-level-ontology.kif 19816-19822
Tired
est un
attribut
de
agent cognitif
agent cognitif
desire
entit�
entit�
est une
instance
de
Sleeping
entit�
est un
agent
de
agent cognitif
(=>
(
attribute
?X
PoliticalFigure
)
(
exists
(?GOV)
(
and
(
instance
?GOV
Government
)
(
or
(
member
?X ?GOV)
(
desires
?X
(
member
?X ?GOV))))))
Mid-level-ontology.kif 22543-22551
PoliticalFigure
est un
attribut
de
agent cognitif
collection
collection
est une
instance
de
gouvernement
agent cognitif
est un
membre
de
collection
agent cognitif
desire
agent cognitif
est un
membre
de
collection
(=>
(
counselInCase
?H ?A ?L)
(
desires
?H
(
exists
(?LD)
(
and
(
instance
?LD
LegalDecision
)
(
causes
?L ?LD)
(
benefits
?LD ?A)))))
Law.kif 464-471
counselInCase
humain
,
AutonomousAgent
and
action l�gale
humain
desire
action l�gale
D
action l�gale
D est une
instance
de
LegalDecision
action l�gale
cause
action l�gale
D
benefits
action l�gale
D and
AutonomousAgent
(=>
(
dislikes
?AGENT ?OBJECT)
(
desires
?AGENT
(
not
(
possesses
?AGENT ?OBJECT))))
Mid-level-ontology.kif 7432-7434
dislikes
agent cognitif
and
objet
agent cognitif
desire
agent cognitif
ne
poss
�de %n{pas}
objet
(=>
(
enjoys
?AGENT ?PROCESS)
(
desires
?AGENT
(
exists
(?INSTANCE)
(
and
(
instance
?INSTANCE ?PROCESS)
(
or
(
agent
?INSTANCE ?AGENT)
(
experiencer
?INSTANCE ?AGENT))))))
Mid-level-ontology.kif 7376-7384
enjoys
agent cognitif
and
entit�
agent cognitif
desire
entit�
entit�
est une
instance
de
entit�
entit�
est un
agent
de
agent cognitif
agent cognitif
exp
�rimente
entit�
(=>
(
equal
?DEP
(
DepartmentOfPreventingFn
?COMP ?PHYS))
(
not
(
desires
?COMP
(
exists
(?P)
(
and
(
instance
?P ?PHYS)
(
involvedInEvent
?P ?COMP))))))
Mid-level-ontology.kif 18408-18415
Organisation
est
DepartmentOfPreventingFn
organisation
and
physique
organisation
ne
desire
%n{pas}
entit�
entit�
est une
instance
de
physique
involvedInEvent
entit�
and
organisation
(=>
(
fears
?AGENT ?FORMULA)
(
not
(
desires
?AGENT ?FORMULA)))
Mid-level-ontology.kif 7393-7396
fears
agent cognitif
and
formule
agent cognitif
ne
desire
%n{pas}
formule
(=>
(
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
Agent cognitif
est
situ
� �
entit�
airTemperature
entit�
and
position temporel
position temporel
U(s)
FeelingCold
est un
attribut
de
agent cognitif
pendant
position temporel
agent cognitif
desire
airTemperature
entit�
and
position temporel
2
position temporel
U(s)
position temporel
2 est
plus
grand
que
position temporel
pendant
position temporel
(=>
(
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
Agent cognitif
est
situ
� �
entit�
airTemperature
entit�
and
position temporel
position temporel
U(s)
FeelingHot
est un
attribut
de
agent cognitif
pendant
position temporel
agent cognitif
desire
airTemperature
entit�
and
position temporel
2
position temporel
U(s)
position temporel
est
plus
grand
que
position temporel
2
pendant
position temporel
(=>
(
holdsDuring
?T
(
attribute
?H
Insomnia
))
(
holdsDuring
?T
(
and
(
desires
?H
(
attribute
?H
Asleep
))
(
not
(
attribute
?H
Asleep
)))))
Medicine.kif 2095-2103
Insomnia
est un
attribut
de
entit�
pendant
position temporel
entit�
desire
endormi
est un
attribut
de
entit�
endormi
est un
attribut
de
entit�
pendant
position temporel
(=>
(
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
RectalTenesmus
est un
attribut
de
entit�
pendant
position temporel
entit�
desire
entit�
entit�
est une
instance
de
Defecation
entit�
est un
agent
de
entit�
entit�
n' a %n{pas}
besoin
de
entit�
entit�
est une
instance
de
Defecation
entit�
est un
agent
de
entit�
pendant
position temporel
(=>
(
holdsDuring
?T
(
attribute
?H
Sleepy
))
(
desires
?H
(
holdsDuring
(
ImmediateFutureFn
?T)
(
attribute
?H
Asleep
))))
Mid-level-ontology.kif 16434-16440
Sleepy
est un
attribut
de
agent cognitif
pendant
position temporel
agent cognitif
desire
endormi
est un
attribut
de
agent cognitif
pendant
immediatement
apr
�s
position temporel
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