agent
(=>
(
and
(
functionRoomAmenity
?FR ?PHY)
(
instance
?RM ?FR)
(
element
?RM
(
PropertyFn
?HOTEL))
(
instance
?RENT
Renting
)
(
patient
?RENT ?RM)
(
agent
?RENT ?HOTEL)
(
destination
?RENT ?CUST)
(
subclass
?PHY
Object
))
(
modalAttribute
(
exists
(?O ?P)
(
and
(
instance
?O ?PHY)
(
instance
?P
Process
)
(
or
(
resource
?P ?O)
(
instrument
?P ?O)
(
patient
?P ?O))
(
or
(
agent
?P ?CUST)
(
experiencer
?P ?CUST))))
Possibility
))
Hotel.kif 811-832
functionRoomAmenity
HotelFunctionRoom
and
physique
entit�
est une
instance
de
HotelFunctionRoom
entit�
est un
appartenir
�
AutonomousAgent
processus
est une
instance
de
Renting
entit�
est un
patient
de
processus
processus
est un
agent
de
AutonomousAgent
processus
aboutit
�
entit�
physique
est une
sous
-classe de
objet
l'argument
entit�
entit�
entit�
est une
instance
de
physique
entit�
est une
instance
de
processus
entit�
est une
resource
pour
entit�
entit�
est un
instrument
pour
entit�
entit�
est un
patient
de
entit�
entit�
est un
agent
de
entit�
entit�
exp
�rimente
entit�
a la
force
modale
de
Possibility
(=>
(
and
(
holdsDuring
?T
(
attribute
?H
ChronicFatigueSyndrome
))
(
instance
?R
RecreationOrExercise
)
(
agent
?R ?H)
(
during
(
WhenFn
?R) ?T))
(
modalAttribute
(
and
(
holdsDuring
?T2
(
attribute
?H
PostExertionalMalaise
))
(
earlier
(
WhenFn
?R) ?T2))
Likely
))
Medicine.kif 1500-1512
ChronicFatigueSyndrome
est un
attribut
de
AutonomousAgent
pendant
interval temporel
processus
est une
instance
de
r�cr�ation ou exercice
processus
est un
agent
de
AutonomousAgent
temps
d'existence de
processus
prend place
pendant
interval temporel
l'argument
PostExertionalMalaise
est un
attribut
de
AutonomousAgent
pendant
interval temporel
2
temps
d'existence de
processus
arrive
plus
t�t que
interval temporel
2 a la
force
modale
de
Likely
(=>
(
and
(
holdsDuring
?T
(
desires
?M
(
attribute
?V
Dead
)))
(
instance
?MURDER
Murder
)
(
agent
?MURDER ?M)
(
patient
?MURDER ?V)
(
earlier
?T
(
WhenFn
?MURDER)))
(
attribute
?MURDER
Premeditated
))
Law.kif 480-489
AutonomousAgent
desire
Dead
est un
attribut
de
entit�
pendant
interval temporel
AutonomousAgent
URDER est une
instance
de
Murder
AutonomousAgent
URDER est un
agent
de
AutonomousAgent
entit�
est un
patient
de
AutonomousAgent
URDER
interval temporel
arrive
plus
t�t que
temps
d'existence de
AutonomousAgent
URDER
Premeditated
est un
attribut
de
AutonomousAgent
URDER
(=>
(
and
(
holdsDuring
?T1
(
attribute
?H
Dieting
))
(
holdsDuring
?T2
(
not
(
attribute
?H
Dieting
)))
(
instance
?M1
Meal
)
(
instance
?E1
Eating
)
(
agent
?E1 ?H)
(
resource
?E1 ?M1)
(
during
(
WhenFn
?E1) ?T1)
(
measure
?M1
(
MeasureFn
?C1
Calorie
))
(
instance
?M2
Meal
)
(
instance
?E2
Eating
)
(
agent
?E2 ?H)
(
resource
?E2 ?M2)
(
during
(
WhenFn
?E2) ?T2)
(
measure
?M2
(
MeasureFn
?C2
Calorie
)))
(
modalAttribute
(
greaterThan
?C2 ?C1)
Likely
))
Mid-level-ontology.kif 30662-30683
Dieting
est un
attribut
de
AutonomousAgent
pendant
interval temporel
Dieting
est un
attribut
de
AutonomousAgent
pendant
interval temporel
objet
est une
instance
de
Meal
processus
est une
instance
de
manger
processus
est un
agent
de
AutonomousAgent
objet
est une
resource
pour
processus
temps
d'existence de
processus
prend place
pendant
interval temporel
la
mesure
de
objet
est
nombre r�el
Calorie
(s)
objet
est une
instance
de
Meal
processus
est une
instance
de
manger
processus
est un
agent
de
AutonomousAgent
objet
est une
resource
pour
processus
temps
d'existence de
processus
prend place
pendant
interval temporel
la
mesure
de
objet
est
nombre r�el
Calorie
(s)
l'argument
nombre r�el
est
plus
grand
que
nombre r�el
a la
force
modale
de
Likely
(=>
(
and
(
instance
?A
Antacid
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?A)
(
instance
?S
Stomach
)
(
part
?S ?H)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?I))
(
and
(
contains
?S ?F1)
(
instance
?F1
Fluid
)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?I))
(
and
(
contains
?S ?F2)
(
instance
?F2
Fluid
)))
(
phMeasure
?F1 ?N1)
(
phMeasure
?F2 ?N2))
(
greaterThan
?N2 ?N1))
Mid-level-ontology.kif 9839-9861
Objet
est une
instance
de
Antacid
d�palcement
est une
instance
de
ing�rer
d�palcement
est un
agent
de
AutonomousAgent
moves
d�palcement
and
objet
objet
est une
instance
de
Stomach
objet
est une
partie
de
AutonomousAgent
objet
contient
objet
objet
est une
instance
de
Fluid
pendant
immediatement
avant
temps
d'existence de
d�palcement
objet
contient
objet
objet
est une
instance
de
Fluid
pendant
immediatement
apr
�s
temps
d'existence de
d�palcement
phMeasure
objet
and
nombre r�el
phMeasure
objet
and
nombre r�el
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
and
(
instance
?A
Apologizing
)
(
agent
?A ?AG)
(
destination
?A ?P))
(
exists
(?ACT)
(
and
(
suffers
?ACT ?P)
(
agent
?ACT ?AG)
(
holdsDuring
(
WhenFn
?A)
(
not
(
wants
?AG ?ACT))))))
Mid-level-ontology.kif 29620-29632
Processus
est une
instance
de
Apologizing
processus
est un
agent
de
processus
G
processus
aboutit
�
AutonomousAgent
processus
CT
suffers
processus
CT and
AutonomousAgent
processus
CT est un
agent
de
processus
G
processus
G ne
veut
%n{pas}
processus
CT
pendant
temps
d'existence de
processus
(=>
(
and
(
instance
?A
Biped
)
(
instance
?W
Ambulating
)
(
agent
?W ?A))
(
modalAttribute
(
exists
(?L1 ?L2)
(
and
(
instance
?L1
Leg
)
(
instance
?L2
Leg
)
(
part
?L1 ?A)
(
part
?L2 ?A)
(
instrument
?W ?L1)
(
instrument
?W ?L2)))
Likely
))
Mid-level-ontology.kif 4411-4425
AutonomousAgent
est une
instance
de
Biped
processus
est une
instance
de
Ambulating
processus
est un
agent
de
AutonomousAgent
l'argument
entit�
entit�
entit�
est une
instance
de
Leg
entit�
est une
instance
de
Leg
entit�
est une
partie
de
AutonomousAgent
entit�
est une
partie
de
AutonomousAgent
entit�
est un
instrument
pour
processus
entit�
est un
instrument
pour
processus
a la
force
modale
de
Likely
(=>
(
and
(
instance
?A
Herbivore
)
(
agent
?E ?A)
(
instance
?E
Eating
)
(
patient
?E ?F))
(
instance
?F
Plant
))
Mid-level-ontology.kif 20066-20072
AutonomousAgent
est une
instance
de
Herbivore
processus
est un
agent
de
AutonomousAgent
processus
est une
instance
de
manger
entit�
est un
patient
de
processus
entit�
est une
instance
de
plante
(=>
(
and
(
instance
?A
ProtonPumpInhibitor
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?A)
(
instance
?S
Stomach
)
(
part
?S ?H)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?I))
(
and
(
contains
?S ?F1)
(
instance
?F1
Fluid
)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?I))
(
and
(
contains
?S ?F2)
(
instance
?F2
Fluid
)))
(
phMeasure
?F1 ?N1)
(
phMeasure
?F2 ?N2))
(
greaterThan
?N2 ?N1))
Mid-level-ontology.kif 9900-9922
Objet
est une
instance
de
ProtonPumpInhibitor
d�palcement
est une
instance
de
ing�rer
d�palcement
est un
agent
de
AutonomousAgent
moves
d�palcement
and
objet
objet
est une
instance
de
Stomach
objet
est une
partie
de
AutonomousAgent
objet
contient
objet
objet
est une
instance
de
Fluid
pendant
immediatement
avant
temps
d'existence de
d�palcement
objet
contient
objet
objet
est une
instance
de
Fluid
pendant
immediatement
apr
�s
temps
d'existence de
d�palcement
phMeasure
objet
and
nombre r�el
phMeasure
objet
and
nombre r�el
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
and
(
instance
?ABORTED
(
AbortedMissionFn
?A ?MISSION))
(
causes
?ACTION ?ABORTED)
(
agent
?ACTION ?OTHER_A)
(
agent
?MISSION ?THIS_A))
(
not
(
enemy
?OTHER_A ?THIS_A)))
MilitaryProcesses.kif 2440-2445
Processus
est une
instance
de
AbortedMissionFn
AutonomousAgent
and
MilitaryOperation
AutonomousAgent
CTION
cause
processus
AutonomousAgent
CTION est un
agent
de
entit�
_A
MilitaryOperation
est un
agent
de
entit�
_A
enemy
entit�
_A and
entit�
_A
(=>
(
and
(
instance
?ACCELERATE
Accelerating
)
(
agent
?ACCELERATE ?AGENT))
(
exists
(?LENGTH1 ?LENGTH2 ?TIME1 ?TIME2 ?U1 ?U2)
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ACCELERATE))
(
measure
?AGENT
(
SpeedFn
(
MeasureFn
?LENGTH1 ?U1)
(
MeasureFn
?TIME1 ?U2))))
(
holdsDuring
(
EndFn
(
WhenFn
?ACCELERATE))
(
measure
?AGENT
(
SpeedFn
(
MeasureFn
?LENGTH2 ?U1)
(
MeasureFn
?TIME2 ?U2))))
(
or
(
greaterThan
?LENGTH2 ?LENGTH1)
(
greaterThan
?TIME2 ?TIME1)))))
Mid-level-ontology.kif 17143-17164
Processus
est une
instance
de
Accelerating
processus
est un
agent
de
AutonomousAgent
nombre r�el
nombre r�el
,
nombre r�el
,
nombre r�el
,
entit�
and
entit�
la
mesure
de
AutonomousAgent
est
nombre r�el
entit�
(s)
par
nombre r�el
entit�
(s)
pendant
le
d
�but de
temps
d'existence de
processus
la
mesure
de
AutonomousAgent
est
nombre r�el
entit�
(s)
par
nombre r�el
entit�
(s)
pendant
la
fin
de
temps
d'existence de
processus
nombre r�el
est
plus
grand
que
nombre r�el
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
and
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?PAGE
WebPage
)
(
instance
?TRANSFER
DataTransfer
)
(
instance
?SERVER
Server
)
(
instance
?REQUESTING
Requesting
)
(
instance
?BROWSER
WebBrowser
)
(
instance
?INTERVAL
TimeInterval
)
(
patient
?ACCESSING ?PAGE)
(
agent
?REQUESTING ?BROWSER)
(
destination
?REQUESTING ?SERVER)
(
patient
?REQUESTING ?PAGE)
(
origin
?TRANSFER ?SERVER)
(
destination
?TRANSFER ?BROWSER)
(
patient
?TRANSFER ?PAGE)
(
subProcess
?TRANSFER ?ACCESSING)
(
subProcess
?REQUESTING ?ACCESSING)
(
equal
(
EndFn
(
WhenFn
?REQUESTING))
(
BeginFn
?INTERVAL))
(
equal
(
EndFn
(
WhenFn
?TRANSFER))
(
EndFn
?INTERVAL)))
(
equal
(
SiteSpeedFn
?ACCESSING) ?INTERVAL))
UXExperimentalTerms.kif 3759-3784
AccessingWebPage
est une
instance
de
AccessingWebPage
entit�
est une
instance
de
WebPage
processus
est une
instance
de
DataTransfer
objet
est une
instance
de
Server
processus
est une
instance
de
demander
AutonomousAgent
est une
instance
de
WebBrowser
interval temporel
est une
instance
de
interval temporel
entit�
est un
patient
de
AccessingWebPage
processus
est un
agent
de
AutonomousAgent
processus
aboutit
�
objet
entit�
est un
patient
de
processus
processus
a pour
origine
objet
processus
aboutit
�
AutonomousAgent
entit�
est un
patient
de
processus
processus
est un
sous
-processus de
AccessingWebPage
processus
est un
sous
-processus de
AccessingWebPage
la
fin
de
temps
d'existence de
processus
est
d
�but de
interval temporel
la
fin
de
temps
d'existence de
processus
est
fin
de
interval temporel
SiteSpeedFn
AccessingWebPage
est
interval temporel
(=>
(
and
(
instance
?ACT
OrganizationalProcess
)
(
agent
?ACT ?AGENT))
(
or
(
instance
?AGENT
Organization
)
(
exists
(?ORG)
(
and
(
instance
?ORG
Organization
)
(
member
?AGENT ?ORG)))))
Merge.kif 10540-10549
Processus
est une
instance
de
processus organisationnel
processus
est un
agent
de
AutonomousAgent
AutonomousAgent
est une
instance
de
organisation
collection
collection
est une
instance
de
organisation
AutonomousAgent
est un
membre
de
collection
(=>
(
and
(
instance
?ACT
ReligiousProcess
)
(
agent
?ACT ?AGENT))
(
or
(
instance
?AGENT
ReligiousOrganization
)
(
exists
(?ORG)
(
and
(
member
?AGENT ?ORG)
(
instance
?ORG
ReligiousOrganization
)))))
Merge.kif 10562-10571
Processus
est une
instance
de
processus religieux
processus
est un
agent
de
AutonomousAgent
AutonomousAgent
est une
instance
de
organisation religieuse
collection
AutonomousAgent
est un
membre
de
collection
collection
est une
instance
de
organisation religieuse
(=>
(
and
(
instance
?AMBULATE
Ambulating
)
(
agent
?AMBULATE ?AGENT))
(
attribute
?AGENT
Standing
))
Merge.kif 18063-18067
Processus
est une
instance
de
Ambulating
processus
est un
agent
de
AutonomousAgent
Standing
est un
attribut
de
AutonomousAgent
(=>
(
and
(
instance
?AMBULATE
Ambulating
)
(
instance
?STEP
Stepping
)
(
subProcess
?STEP ?AMBULATE)
(
agent
?AMBULATE ?AGENT))
(
agent
?STEP ?AGENT))
Mid-level-ontology.kif 516-522
Processus
est une
instance
de
Ambulating
processus
est une
instance
de
Stepping
processus
est un
sous
-processus de
processus
processus
est un
agent
de
AutonomousAgent
processus
est un
agent
de
AutonomousAgent
(=>
(
and
(
instance
?AMBULATE
Ambulating
)
(
instance
?STEP
Stepping
)
(
subProcess
?STEP ?AMBULATE)
(
agent
?STEP ?AGENT))
(
agent
?AMBULATE ?AGENT))
Mid-level-ontology.kif 524-530
Processus
est une
instance
de
Ambulating
processus
est une
instance
de
Stepping
processus
est un
sous
-processus de
processus
processus
est un
agent
de
AutonomousAgent
processus
est un
agent
de
AutonomousAgent
(=>
(
and
(
instance
?AMBUSH
Ambush
)
(
agent
?AMBUSH ?AG))
(
exists
(?C)
(
and
(
instance
?C
Concealing
)
(
subProcess
?C ?AMBUSH)
(
hasPurpose
?C
(
exists
(?ATTACK)
(
and
(
instance
?ATTACK
Attack
)
(
agent
?ATTACK ?AG)))))))
Mid-level-ontology.kif 21757-21769
Processus
est une
instance
de
Ambush
processus
est un
agent
de
AutonomousAgent
processus
processus
est une
instance
de
Concealing
processus
est un
sous
-processus de
processus
processus
a pour
but
entit�
entit�
est une
instance
de
Attack
entit�
est un
agent
de
AutonomousAgent
(=>
(
and
(
instance
?APR
AirPhotographicReconnaissance
)
(
agent
?APR ?AGENT)
(
patient
?APR ?HOSTILE))
(
exists
(?PHOTOGRAPHING)
(
and
(
instance
?PHOTOGRAPHING
Photographing
)
(
subProcess
?PHOTOGRAPHING ?APR)
(
agent
?PHOTOGRAPHING ?AGENT)
(
patient
?PHOTOGRAPHING ?HOSTILE))))
MilitaryProcesses.kif 753-763
Processus
est une
instance
de
AirPhotographicReconnaissance
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
processus
processus
est une
instance
de
Photographing
processus
est un
sous
-processus de
processus
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
(=>
(
and
(
instance
?AR
AmphibiousReconnaissance
)
(
agent
?AR ?AGENT))
(
exists
(?LANDING)
(
and
(
subProcess
?LANDING ?AR)
(
instance
?LANDING
LandingWaterLand
)
(
agent
?LANDING ?AGENT))))
MilitaryProcesses.kif 782-790
Processus
est une
instance
de
AmphibiousReconnaissance
processus
est un
agent
de
AutonomousAgent
processus
processus
est un
sous
-processus de
processus
processus
est une
instance
de
LandingWaterLand
processus
est un
agent
de
AutonomousAgent
(=>
(
and
(
instance
?AR
ArmedReconnaissance
)
(
agent
?AR ?AGENT)
(
patient
?AR ?HOSTILE)
(
holdsDuring
(
WhenFn
?AR)
(
enemy
?AGENT ?HOSTILE)))
(
confersRight
(
exists
(?ATTACK)
(
and
(
instance
?ATTACK
Attack
)
(
agent
?ATTACK ?AGENT)
(
patient
?ATTACK ?HOSTILE))) ?AR ?AGENT))
MilitaryProcesses.kif 89-103
Processus
est une
instance
de
ArmedReconnaissance
processus
est un
agent
de
agent cognitif
entit�
est un
patient
de
processus
enemy
agent cognitif
and
entit�
pendant
temps
d'existence de
processus
processus
autorise
agent cognitif
� ex�cut� des t�ches du type
entit�
entit�
est une
instance
de
Attack
entit�
est un
agent
de
agent cognitif
entit�
est un
patient
de
entit�
(=>
(
and
(
instance
?ARREST
PlacingUnderArrest
)
(
agent
?ARREST ?AGENT))
(
instance
?AGENT
CognitiveAgent
))
Mid-level-ontology.kif 23482-23486
Processus
est une
instance
de
PlacingUnderArrest
processus
est un
agent
de
AutonomousAgent
AutonomousAgent
est une
instance
de
agent cognitif
(=>
(
and
(
instance
?ATC
AddToCart
)
(
instance
?OBJ
Object
)
(
patient
?ATC ?OBJ)
(
agent
?ATC ?USER))
(
exists
(?COLL ?SITE ?AFTER ?INTERVAL)
(
and
(
instance
?COLL
Collection
)
(
instance
?SITE
WebSite
)
(
instance
?INTERVAL
TimeInterval
)
(
webcart
?USER ?COLL ?SITE)
(
equal
(
BeginFn
?INTERVAL)
(
EndFn
?ATC))
(
holdsDuring
?AFTER
(
member
?OBJ ?COLL)))))
UXExperimentalTerms.kif 1326-1342
Interval temporel
est une
instance
de
AddToCart
entit�
est une
instance
de
objet
entit�
est un
patient
de
interval temporel
interval temporel
est un
agent
de
AutonomousAgent
collection
WebSite
,
position temporel
and
interval temporel
collection
est une
instance
de
collection
WebSite
est une
instance
de
WebSite
interval temporel
est une
instance
de
interval temporel
webcart
AutonomousAgent
,
collection
and
WebSite
le
d
�but de
interval temporel
est
fin
de
interval temporel
entit�
est un
membre
de
collection
pendant
position temporel
(=>
(
and
(
instance
?ATC
AddToCart
)
(
instance
?USER
AutonomousAgent
)
(
instance
?OBJ
Object
)
(
agent
?ATC ?USER)
(
patient
?ATC ?OBJ))
(
desires
?USER
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
patient
?BUYING ?OBJ)
(
agent
?BUYING ?USER)))))
UXExperimentalTerms.kif 1312-1324
Processus
est une
instance
de
AddToCart
agent cognitif
est une
instance
de
AutonomousAgent
entit�
est une
instance
de
objet
processus
est un
agent
de
agent cognitif
entit�
est un
patient
de
processus
agent cognitif
desire
entit�
entit�
est une
instance
de
acheter
entit�
est un
patient
de
entit�
entit�
est un
agent
de
agent cognitif
(=>
(
and
(
instance
?ATTACK
Attack
)
(
agent
?ATTACK ?AGENT)
(
patient
?ATTACK ?OBJ))
(
hasPurposeForAgent
?ATTACK
(
exists
(?DAMAGE)
(
and
(
instance
?DAMAGE
Damaging
)
(
patient
?DAMAGE ?OBJ))) ?AGENT))
Merge.kif 13409-13418
Processus
est une
instance
de
Attack
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
processus
a le
but
entit�
entit�
est une
instance
de
endommager
entit�
est un
patient
de
entit�
pour
AutonomousAgent
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