patient
(=>
(
and
(
instance
?ACT
UserDirectAction
)
(
patient
?ACT ?TOUCHSCREEN)
(
instance
?TOUCHSCREEN
ComputerTouchscreen
))
(
instance
?ACT
ScreenTouchAction
))
ComputerInput.kif 1594-1599
Processus
est une
instance
de
UserDirectAction
entit�
est un
patient
de
processus
entit�
est une
instance
de
ComputerTouchscreen
processus
est une
instance
de
ScreenTouchAction
(=>
(
and
(
instance
?ACT
UserDirectAction
)
(
patient
?ACT ?TOUCHSURF)
(
instance
?TOUCHSURF
TouchSensitiveComputerInputDevice
))
(
instance
?ACT
TouchSurfaceAction
))
ComputerInput.kif 1545-1550
Processus
est une
instance
de
UserDirectAction
entit�
est un
patient
de
processus
entit�
est une
instance
de
TouchSensitiveComputerInputDevice
processus
est une
instance
de
TouchSurfaceAction
(=>
(
and
(
instance
?ALT
ShapeChange
)
(
patient
?ALT ?OBJ))
(
exists
(?PROPERTY)
(
and
(
instance
?PROPERTY
ShapeAttribute
)
(
or
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ALT))
(
attribute
?OBJ ?PROPERTY))
(
holdsDuring
(
EndFn
(
WhenFn
?ALT))
(
not
(
attribute
?OBJ ?PROPERTY))))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ALT))
(
not
(
attribute
?OBJ ?PROPERTY)))
(
holdsDuring
(
EndFn
(
WhenFn
?ALT))
(
attribute
?OBJ ?PROPERTY)))))))
Merge.kif 12656-12669
Processus
est une
instance
de
changement de forme
entit�
est un
patient
de
processus
entit�
entit�
est une
instance
de
attribut de forme
entit�
est un
attribut
de
entit�
pendant
le
d
�but de
temps
d'existence de
processus
entit�
est un
attribut
de
entit�
pendant
la
fin
de
temps
d'existence de
processus
entit�
est un
attribut
de
entit�
pendant
le
d
�but de
temps
d'existence de
processus
entit�
est un
attribut
de
entit�
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?ALT
SurfaceChange
)
(
patient
?ALT ?OBJ))
(
exists
(?PART ?PROPERTY)
(
and
(
superficialPart
?PART ?OBJ)
(
or
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ALT))
(
attribute
?PART ?PROPERTY))
(
holdsDuring
(
EndFn
(
WhenFn
?ALT))
(
not
(
attribute
?PART ?PROPERTY))))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ALT))
(
not
(
attribute
?PART ?PROPERTY)))
(
holdsDuring
(
EndFn
(
WhenFn
?ALT))
(
attribute
?PART ?PROPERTY)))))))
Merge.kif 12616-12629
Processus
est une
instance
de
changement de surface
objet
est un
patient
de
processus
objet
entit�
objet
est une partie
superficielle
de
objet
entit�
est un
attribut
de
objet
pendant
le
d
�but de
temps
d'existence de
processus
entit�
est un
attribut
de
objet
pendant
la
fin
de
temps
d'existence de
processus
entit�
est un
attribut
de
objet
pendant
le
d
�but de
temps
d'existence de
processus
entit�
est un
attribut
de
objet
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
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
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
?ARTERY
Artery
)
(
instance
?TRANSFER
Transfer
)
(
patient
?TRANSFER ?BLOOD)
(
instrument
?TRANSFER ?ARTERY)
(
instance
?BLOOD
Blood
))
(
exists
(?HEART)
(
and
(
instance
?HEART
Heart
)
(
origin
?TRANSFER ?HEART))))
Mid-level-ontology.kif 11108-11118
Objet
est une
instance
de
Artery
processus
est une
instance
de
transf�re
entit�
est un
patient
de
processus
objet
est un
instrument
pour
processus
entit�
est une
instance
de
sang
objet
objet
est une
instance
de
Heart
processus
a pour
origine
objet
(=>
(
and
(
instance
?ARTERY
PulmonaryArtery
)
(
instance
?TRANSFER
Transfer
)
(
patient
?TRANSFER ?BLOOD)
(
instrument
?TRANSFER ?ARTERY)
(
instance
?BLOOD
Blood
))
(
exists
(?LUNG)
(
and
(
instance
?LUNG
Lung
)
(
destination
?TRANSFER ?LUNG))))
Mid-level-ontology.kif 11141-11151
Objet
est une
instance
de
PulmonaryArtery
processus
est une
instance
de
transf�re
entit�
est un
patient
de
processus
objet
est un
instrument
pour
processus
entit�
est une
instance
de
sang
entit�
entit�
est une
instance
de
Lung
processus
aboutit
�
entit�
(=>
(
and
(
instance
?AS
AutomobileShock
)
(
instance
?C
Compressing
)
(
instance
?H
HoleRegion
)
(
attribute
?F
Fluid
)
(
equal
?AS
(
HoleHostFn
?H))
(
contains
?AS ?F)
(
patient
?C ?AS))
(
exists
(?T)
(
and
(
instance
?T
Transfer
)
(
objectTransferred
?T ?F)
(
path
?T ?H)
(
causes
?C ?T))))
Cars.kif 871-885
Objet en une partie
est une
instance
de
AutomobileShock
processus
est une
instance
de
Compressing
trou
est une
instance
de
trou
Fluid
est un
attribut
de
objet
objet en une partie
est
h
�te du trou
trou
objet en une partie
contient
objet
objet en une partie
est un
patient
de
processus
transf�re
transf�re
est une
instance
de
transf�re
objectTransferred
transf�re
and
objet
trou
est le
chemin
le long duquel
transf�re
se produit
processus
cause
transf�re
(=>
(
and
(
instance
?ASO
AntiSurfaceOperation
)
(
patient
?ASO ?TARGET)
(
holdsDuring
(
WhenFn
?ASO)
(
located
?TARGET ?LOCATION)))
(
instance
?LOCATION
WaterArea
))
MilitaryProcesses.kif 665-671
Processus
est une
instance
de
AntiSurfaceOperation
entit�
est un
patient
de
processus
entit�
est
situ
� �
entit�
pendant
temps
d'existence de
processus
entit�
est une
instance
de
plan d'eau
(=>
(
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
?ATTACH
Attaching
)
(
patient
?ATTACH ?OBJ1)
(
patient
?ATTACH ?OBJ2))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ATTACH))
(
not
(
connected
?OBJ1 ?OBJ2)))
(
holdsDuring
(
EndFn
(
WhenFn
?ATTACH))
(
connected
?OBJ1 ?OBJ2))))
Merge.kif 12360-12367
Processus
est une
instance
de
attacher
entit�
est un
patient
de
processus
entit�
est un
patient
de
processus
entit�
est
connect
� �
entit�
pendant
le
d
�but de
temps
d'existence de
processus
entit�
est
connect
� �
entit�
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
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
(=>
(
and
(
instance
?ATTACK
BiochemicalAttack
)
(
patient
?ATTACK ?OBJ))
(
instance
?OBJ
Organism
))
WMD.kif 64-68
Processus
est une
instance
de
BiochemicalAttack
entit�
est un
patient
de
processus
entit�
est une
instance
de
organisme
(=>
(
and
(
instance
?AUCTIONING
Auctioning
)
(
instance
?BIDDER1
AutonomousAgent
)
(
instance
?BIDDER2
AutonomousAgent
)
(
instance
?ITEM
Object
)
(
instance
?U
UnitOfCurrency
)
(
patient
?AUCTIONING ?ITEM)
(
bidPrice
?ITEM
(
MeasureFn
?OFFER1 ?U) ?BIDDER1)
(
bidPrice
?ITEM
(
MeasureFn
?OFFER2 ?U) ?BIDDER2)
(
greaterThan
?OFFER1 ?OFFER2))
(
destination
?AUCTIONING ?BIDDER1))
UXExperimentalTerms.kif 354-365
Processus
est une
instance
de
Auctioning
AutonomousAgent
est une
instance
de
AutonomousAgent
AutonomousAgent
est une
instance
de
AutonomousAgent
objet
est une
instance
de
objet
unit� de mesure
est une
instance
de
UnitOfCurrency
objet
est un
patient
de
processus
bidPrice
objet
,
nombre r�el
unit� de mesure
(s) and
AutonomousAgent
bidPrice
objet
,
nombre r�el
unit� de mesure
(s) and
AutonomousAgent
nombre r�el
est
plus
grand
que
nombre r�el
processus
aboutit
�
AutonomousAgent
(=>
(
and
(
instance
?AUCTIONING
Auctioning
)
(
instance
?ITEM
Object
)
(
patient
?AUCTIONING ?ITEM))
(
exists
(?BIDDER ?OFFER)
(
and
(
instance
?BIDDER
AutonomousAgent
)
(
instance
?OFFER
CurrencyMeasure
)
(
bidPrice
?ITEM ?OFFER ?BIDDER))))
UXExperimentalTerms.kif 343-352
Processus
est une
instance
de
Auctioning
objet
est une
instance
de
objet
objet
est un
patient
de
processus
AutonomousAgent
mesure de devise
AutonomousAgent
est une
instance
de
AutonomousAgent
mesure de devise
est une
instance
de
mesure de devise
bidPrice
objet
,
mesure de devise
and
AutonomousAgent
(=>
(
and
(
instance
?B
Baptizing
)
(
patient
?B ?H))
(
instance
?H
Human
))
Mid-level-ontology.kif 7997-8001
Processus
est une
instance
de
Baptizing
entit�
est un
patient
de
processus
entit�
est une
instance
de
humain
(=>
(
and
(
instance
?B
Bathing
)
(
patient
?B ?A))
(
instance
?A
Animal
))
Mid-level-ontology.kif 8862-8866
Processus
est une
instance
de
Bathing
entit�
est un
patient
de
processus
entit�
est une
instance
de
animal
(=>
(
and
(
instance
?B
Biopsy
)
(
patient
?B ?BS))
(
instance
?BS
BodySubstance
))
Mid-level-ontology.kif 24089-24093
Processus
est une
instance
de
Biopsy
processus
S est un
patient
de
processus
processus
S est une
instance
de
substance corporel
(=>
(
and
(
instance
?B
Blade
)
(
instance
?CUT
Cutting
)
(
instance
?OBJ
Object
)
(
instrument
?CUT ?B)
(
patient
?CUT ?OBJ))
(
meetsSpatially
?B ?OBJ))
Mid-level-ontology.kif 22018-22025
Objet
est une
instance
de
Blade
processus
est une
instance
de
couper
objet
est une
instance
de
objet
objet
est un
instrument
pour
processus
objet
est un
patient
de
processus
objet
rencontre
objet
(=>
(
and
(
instance
?B
Boarding
)
(
agent
?B ?A)
(
patient
?B ?V))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?B))
(
not
(
onboard
?A ?V)))
(
holdsDuring
(
EndFn
(
WhenFn
?B))
(
onboard
?A ?V))))
Mid-level-ontology.kif 17386-17397
Processus
est une
instance
de
Boarding
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
onboard
AutonomousAgent
and
entit�
pendant
le
d
�but de
temps
d'existence de
processus
onboard
AutonomousAgent
and
entit�
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?B
Boarding
)
(
patient
?B ?V))
(
instance
?V
Vehicle
))
Mid-level-ontology.kif 17380-17384
Processus
est une
instance
de
Boarding
entit�
est un
patient
de
processus
entit�
est une
instance
de
Vehicle
(=>
(
and
(
instance
?B
Braking
)
(
patient
?B ?O))
(
and
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?B))
(
equal
(
MeasureFn
?A1
MilesPerHour
)
(
AccelerationFn
?FQ ?T ?O ?D)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?B))
(
equal
(
MeasureFn
?A2
MilesPerHour
)
(
AccelerationFn
?FQ ?T ?O ?D)))
(
greaterThan
?A1 ?A2)))
Cars.kif 1252-1267
Processus
est une
instance
de
Braking
entit�
est un
patient
de
processus
nombre r�el
MilesPerHour
(s) est
AccelerationFn
entit�
,
entit�
,
entit�
and
entit�
pendant
immediatement
avant
temps
d'existence de
processus
nombre r�el
MilesPerHour
(s) est
AccelerationFn
entit�
,
entit�
,
entit�
and
entit�
pendant
immediatement
apr
�s
temps
d'existence de
processus
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
and
(
instance
?B
Buying
)
(
patient
?B ?ITEM)
(
origin
?B ?AGENT)
(
or
(
publishedPrice
?ENT ?PRICE ?AGENT ?PS)
(
unitPrice
?ENT ?QUANT ?AGENT ?PS))
(
subclass
?ENT
Physical
)
(
immediateInstance
?ITEM ?ENT)
(
validPaymentType
?PS ?PAY))
(
modalAttribute
(
exists
(?PAYMENT)
(
and
(
instance
?PAYMENT ?PAY)
(
subProcess
?PAYMENT ?B)))
Likely
))
Catalog.kif 337-352
Processus
est une
instance
de
acheter
entit�
est un
patient
de
processus
processus
a pour
origine
agent cognitif
publishedPrice
entit�
,
mesure de devise
,
agent cognitif
and
PricingScheme
unitPrice
entit�
,
function de quantit�
,
agent cognitif
and
PricingScheme
entit�
est une
sous
-classe de
physique
entit�
est une
instance
imm�diate de
entit�
validPaymentType
PricingScheme
and
Payment
l'argument
Payment
MENT
Payment
MENT est une
instance
de
Payment
Payment
MENT est un
sous
-processus de
processus
a la
force
modale
de
Likely
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