WhenFn
(=>
(
and
(
instance
?A
LocalAnesthetizing
)
(
located
?A ?BP)
(
instance
?BP
BodyPart
)
(
part
?BP ?P)
(
patient
?A ?P))
(
holdsDuring
(
WhenFn
?A)
(
not
(
attribute
?P
(
PainFn
?BP)))))
Medicine.kif 1008-1019
Processus
est une
instance
de
LocalAnesthetizing
processus
est
situ
� �
objet
objet
est une
instance
de
partie du corps
objet
est une
partie
de
objet
objet
est un
patient
de
processus
PainFn
objet
est un
attribut
de
objet
pendant
temps
d'existence de
processus
(=>
(
and
(
instance
?A
Sedating
)
(
patient
?A ?P))
(
holdsDuring
(
WhenFn
?A)
(
and
(
attribute
?P
Conscious
)
(
not
(
attribute
?P
Anxiety
)))))
Medicine.kif 983-992
Processus
est une
instance
de
Sedating
entit�
est un
patient
de
processus
Conscious
est un
attribut
de
entit�
anxiété
est un
attribut
de
entit�
pendant
temps
d'existence de
processus
(=>
(
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
?ACT
ActivatingADeactivatedAccount
)
(
instance
?AC
UserAccount
)
(
patient
?ACT ?AC))
(
and
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?ACT))
(
attribute
?AC
AccountDeactivated
))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?ACT))
(
attribute
?AC
AccountActive
))))
ComputingBrands.kif 4482-4491
Processus
est une
instance
de
ActivatingADeactivatedAccount
entit�
est une
instance
de
UserAccount
entit�
est un
patient
de
processus
AccountDeactivated
est un
attribut
de
entit�
pendant
immediatement
avant
temps
d'existence de
processus
AccountActive
est un
attribut
de
entit�
pendant
immediatement
apr
�s
temps
d'existence de
processus
(=>
(
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
?AMBULATE
Ambulating
)
(
equal
?DURATION
(
WhenFn
?AMBULATE)))
(
exists
(?STEP1 ?STEPN)
(
and
(
instance
?STEP1
Stepping
)
(
instance
?STEPN
Stepping
)
(
subProcess
?STEP1 ?AMBULATE)
(
subProcess
?STEPN ?AMBULATE)
(
starts
(
WhenFn
?STEP1) ?DURATION)
(
finishes
(
WhenFn
?STEPN) ?DURATION)
(
not
(
equal
?STEP1 ?STEPN)))))
Mid-level-ontology.kif 487-499
Processus
est une
instance
de
Ambulating
interval temporel
est
temps
d'existence de
processus
processus
processus
processus
est une
instance
de
Stepping
processus
est une
instance
de
Stepping
processus
est un
sous
-processus de
processus
processus
est un
sous
-processus de
processus
temps
d'existence de
processus
commence
interval temporel
temps
d'existence de
processus
finit
interval temporel
processus
est
processus
(=>
(
and
(
instance
?AP
InternetAccessPoint
)
(
instance
?DEVICE
Device
))
(
holdsDuring
(
WhenFn
(
connectedEngineeringComponents
?DEVICE ?AP))
(
engineeringSubcomponent
?DEVICE
Internet
)))
Hotel.kif 1365-1371
Entit�
est une
instance
de
InternetAccessPoint
entit�
est une
instance
de
appareil
entit�
est un
composant
de
Internet
pendant
temps
d'existence de
entit�
est
connect
� �
entit�
(=>
(
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
?B
BecomingDrunk
)
(
experiencer
?B ?A))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?B))
(
attribute
?A
Sober
))
(
holdsDuring
(
EndFn
(
WhenFn
?B))
(
attribute
?A
Drunk
))))
Mid-level-ontology.kif 16343-16353
Processus
est une
instance
de
BecomingDrunk
AutonomousAgent
exp
�rimente
processus
Sober
est un
attribut
de
AutonomousAgent
pendant
le
d
�but de
temps
d'existence de
processus
Drunk
est un
attribut
de
AutonomousAgent
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?B
Bequeathing
)
(
agent
?B ?P)
(
destination
?B ?H)
(
objectTransferred
?B ?PROP))
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
experiencer
?D ?P)
(
earlier
(
WhenFn
?D)
(
WhenFn
?B))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?D))
(
possesses
?P ?PROP))
(
confersNorm
?P
(
possesses
?H ?PROP)
Permission
))))
Mid-level-ontology.kif 18679-18695
Transf�re
est une
instance
de
Bequeathing
transf�re
est un
agent
de
AutonomousAgent
transf�re
aboutit
�
entit�
objectTransferred
transf�re
and
AutonomousAgent
ROP
processus
processus
est une
instance
de
mort
AutonomousAgent
exp
�rimente
processus
temps
d'existence de
processus
arrive
plus
t�t que
temps
d'existence de
transf�re
AutonomousAgent
poss
�de
AutonomousAgent
ROP
pendant
immediatement
avant
temps
d'existence de
processus
confersNorm
AutonomousAgent
,
entit�
poss
�de
AutonomousAgent
ROP and
Permission
(=>
(
and
(
instance
?B
Birth
)
(
origin
?B ?F))
(
exists
(?Z ?T)
(
and
(
instance
?Z
Zygote
)
(
earlier
?T
(
WhenFn
?B))
(
holdsDuring
?T
(
located
?Z ?F)))))
Mid-level-ontology.kif 24019-24028
Processus
est une
instance
de
naissance
processus
a pour
origine
objet
entit�
interval temporel
entit�
est une
instance
de
Zygote
interval temporel
arrive
plus
t�t que
temps
d'existence de
processus
entit�
est
situ
� �
objet
pendant
interval temporel
(=>
(
and
(
instance
?B
Bleeding
)
(
experiencer
?B ?H))
(
exists
(?VA ?D)
(
and
(
or
(
instance
?VA
Vein
)
(
instance
?VA
Artery
))
(
part
?VA ?H)
(
instance
?D
Damaging
)
(
earlier
(
WhenFn
?D)
(
WhenFn
?B))
(
patient
?D ?VA))))
Medicine.kif 80-94
Processus
est une
instance
de
Bleeding
AutonomousAgent
exp
�rimente
processus
objet
processus
objet
est une
instance
de
Vein
objet
est une
instance
de
Artery
objet
est une
partie
de
AutonomousAgent
processus
est une
instance
de
endommager
temps
d'existence de
processus
arrive
plus
t�t que
temps
d'existence de
processus
objet
est un
patient
de
processus
(=>
(
and
(
instance
?B
Blushing
)
(
experiencer
?B ?A))
(
exists
(?T1 ?T2 ?S1 ?S2)
(
and
(
instance
?S1
EmotionalState
)
(
instance
?S2
EmotionalState
)
(
not
(
equal
?S1 ?S2))
(
holdsDuring
?T1
(
attribute
?A ?S1))
(
holdsDuring
?T2
(
attribute
?A ?S2))
(
starts
(
WhenFn
?B) ?T2)
(
finishes
(
WhenFn
?B) ?T1))))
Mid-level-ontology.kif 21474-21489
Processus
est une
instance
de
Blushing
AutonomousAgent
exp
�rimente
processus
interval temporel
interval temporel
,
entit�
and
entit�
entit�
est une
instance
de
�tat �motionnel
entit�
est une
instance
de
�tat �motionnel
entit�
est
entit�
entit�
est un
attribut
de
AutonomousAgent
pendant
interval temporel
entit�
est un
attribut
de
AutonomousAgent
pendant
interval temporel
temps
d'existence de
processus
commence
interval temporel
temps
d'existence de
processus
finit
interval temporel
(=>
(
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
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
Deboarding
)
(
agent
?B ?A)
(
patient
?B ?V))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?B))
(
onboard
?A ?V))
(
holdsDuring
(
EndFn
(
WhenFn
?B))
(
not
(
onboard
?A ?V)))))
Mid-level-ontology.kif 17427-17439
Processus
est une
instance
de
Deboarding
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
Object
)
(
roastedToTemperature
?B ?T))
(
exists
(?H)
(
and
(
instance
?H
Heating
)
(
patient
?H ?B)
(
holdsDuring
(
EndFn
(
WhenFn
?H))
(
measure
?B
(
MeasureFn
?T
CelsiusDegree
))))))
Food.kif 468-478
Nourriture
est une
instance
de
objet
roastedToTemperature
nourriture
and
nombre r�el
processus
processus
est une
instance
de
r�chauffer
nourriture
est un
patient
de
processus
la
mesure
de
nourriture
est
nombre r�el
CelsiusDegree
(s)
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?B
SoberingUp
)
(
experiencer
?B ?A))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?B))
(
attribute
?A
Drunk
))
(
holdsDuring
(
EndFn
(
WhenFn
?B))
(
attribute
?A
Sober
))))
Mid-level-ontology.kif 16363-16373
Processus
est une
instance
de
SoberingUp
AutonomousAgent
exp
�rimente
processus
Drunk
est un
attribut
de
AutonomousAgent
pendant
le
d
�but de
temps
d'existence de
processus
Sober
est un
attribut
de
AutonomousAgent
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?BB
Bodybuilding
)
(
agent
?BB ?H))
(
exists
(?W)
(
and
(
instance
?W
Weightlifting
)
(
agent
?W ?H)
(
earlier
(
WhenFn
?W)
(
WhenFn
?BB)))))
Sports.kif 778-788
Processus
est une
instance
de
Bodybuilding
processus
est un
agent
de
AutonomousAgent
processus
processus
est une
instance
de
Weightlifting
processus
est un
agent
de
AutonomousAgent
temps
d'existence de
processus
arrive
plus
t�t que
temps
d'existence de
processus
(=>
(
and
(
instance
?BI
BreakthroughInfection
)
(
objectTransferred
?BI ?V)
(
instance
?V ?VC)
(
experiencer
?BI ?H))
(
exists
(?VAX)
(
and
(
instance
?VAX
Vaccination
)
(
experiencer
?VAX ?H)
(
vaccine
?VACCINECLASS ?VC)
(
instance
?VACCINE ?VACCINECLASS)
(
objectTransferred
?VAX ?VACCINE)
(
earlier
(
WhenFn
?VAX)
(
WhenFn
?BI)))))
Medicine.kif 3179-3194
Transf�re
est une
instance
de
BreakthroughInfection
objectTransferred
transf�re
and
objet
objet
est une
instance
de
objet
C
AutonomousAgent
exp
�rimente
transf�re
objet
AX
objet
AX est une
instance
de
Vaccination
AutonomousAgent
exp
�rimente
objet
AX
vaccine
objet
ACCINECLASS and
objet
C
objet
ACCINE est une
instance
de
objet
ACCINECLASS
objectTransferred
objet
AX and
objet
ACCINE
temps
d'existence de
objet
AX arrive
plus
t�t que
temps
d'existence de
transf�re
(=>
(
and
(
instance
?BLEED
Bleeding
)
(
experiencer
?BLEED ?ANIMAL))
(
exists
(?BLOOD)
(
and
(
instance
?BLOOD
Blood
)
(
holdsDuring
(
BeginFn
(
WhenFn
?BLEED))
(
part
?BLOOD ?ANIMAL))
(
holdsDuring
(
EndFn
(
WhenFn
?BLEED))
(
not
(
part
?BLOOD ?ANIMAL))))))
Mid-level-ontology.kif 21395-21403
Processus
est une
instance
de
Bleeding
AutonomousAgent
exp
�rimente
processus
entit�
entit�
est une
instance
de
sang
entit�
est une
partie
de
AutonomousAgent
pendant
le
d
�but de
temps
d'existence de
processus
entit�
est une
partie
de
AutonomousAgent
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?BOIL
Boiling
)
(
patient
?BOIL ?OBJ))
(
exists
(?PART)
(
and
(
part
?PART ?OBJ)
(
holdsDuring
(
BeginFn
(
WhenFn
?BOIL))
(
attribute
?PART
Liquid
))
(
holdsDuring
(
EndFn
(
WhenFn
?BOIL))
(
attribute
?PART
Gas
)))))
Merge.kif 13933-13941
Processus
est une
instance
de
�vaporer
objet
est un
patient
de
processus
objet
objet
est une
partie
de
objet
Liquid
est un
attribut
de
objet
pendant
le
d
�but de
temps
d'existence de
processus
Gas
est un
attribut
de
objet
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?BS1
BodySegment
)
(
instance
?BS2
BodySegment
)
(
connected
?BS1 ?BS2)
(
instance
?BM
BodyMotion
)
(
moves
?BM ?BS1))
(
modalAttribute
(
not
(
exists
(?BM2)
(
and
(
instance
?BM2
BodyMotion
)
(
moves
?BM2 ?BS2)
(
during
(
WhenFn
?BM2)
(
WhenFn
?BM)))))
Possibility
))
Mid-level-ontology.kif 10577-10593
Objet
est une
instance
de
BodySegment
objet
est une
instance
de
BodySegment
objet
est
connect
� �
objet
d�palcement
est une
instance
de
mouvement du corps
moves
d�palcement
and
objet
l'argument
d�palcement
2
d�palcement
2 est une
instance
de
mouvement du corps
moves
d�palcement
2 and
objet
temps
d'existence de
d�palcement
2 prend place
pendant
temps
d'existence de
d�palcement
a la
force
modale
de
Possibility
(=>
(
and
(
instance
?Bond
SecuredBond
)
(
securedBy
?Bond ?Security)
(
possesses
?Agent ?Bond)
(
instance
?Default
FinancialDefault
)
(
patient
?Default ?Bond))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?Default))
(
possesses
?Agent ?Security)))
FinancialOntology.kif 2397-2406
FinancialAccount
est une
instance
de
SecuredBond
securedBy
FinancialAccount
and
Collateral
AutonomousAgent
poss
�de
FinancialAccount
processus
est une
instance
de
FinancialDefault
FinancialAccount
est un
patient
de
processus
AutonomousAgent
poss
�de
Collateral
pendant
immediatement
apr
�s
temps
d'existence de
processus
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