subProcess
(=>
(
instance
?ARRIVE
Arriving
)
(
exists
(?GO)
(
and
(
instance
?GO
Translocation
)
(
subProcess
?ARRIVE ?GO)
(
finishes
(
WhenFn
?ARRIVE)
(
WhenFn
?GO)))))
Mid-level-ontology.kif 17311-17317
Processus
est une
instance
de
Arriving
processus
processus
est une
instance
de
Translocation
processus
est un
sous
-processus de
processus
temps
d'existence de
processus
finit
temps
d'existence de
processus
(=>
(
instance
?ATTACK
Attack
)
(
exists
(?CONTEST)
(
and
(
instance
?CONTEST
ViolentContest
)
(
subProcess
?ATTACK ?CONTEST))))
Merge.kif 13402-13407
Processus
est une
instance
de
Attack
processus
processus
est une
instance
de
affrontement violent
processus
est un
sous
-processus de
processus
(=>
(
instance
?B
Bandage
)
(
hasPurpose
?B
(
exists
(?TP ?C)
(
and
(
instance
?TP
TherapeuticProcess
)
(
instance
?C
Covering
)
(
subProcess
?C ?TP)
(
instrument
?C ?B)))))
Mid-level-ontology.kif 5690-5698
Physique
est une
instance
de
Bandage
physique
a pour
but
entit�
entit�
entit�
est une
instance
de
processus therapeutique
entit�
est une
instance
de
couvrir
entit�
est un
sous
-processus de
entit�
physique
est un
instrument
pour
entit�
(=>
(
instance
?B
Baton
)
(
hasPurpose
?B
(
exists
(?M ?G)
(
and
(
instance
?M
MusicalPerformance
)
(
instance
?G
Guiding
)
(
subProcess
?G ?M)
(
instrument
?G ?B)))))
Mid-level-ontology.kif 2853-2861
Physique
est une
instance
de
Baton
physique
a pour
but
entit�
entit�
entit�
est une
instance
de
MusicalPerformance
entit�
est une
instance
de
guider
entit�
est un
sous
-processus de
entit�
physique
est un
instrument
pour
entit�
(=>
(
instance
?B
Blinking
)
(
exists
(?CE ?OE)
(
and
(
instance
?CE
ClosingEyes
)
(
instance
?OE
OpeningEyes
)
(
subProcess
?CE ?B)
(
subProcess
?OE ?B))))
Medicine.kif 452-459
Processus
est une
instance
de
Blinking
processus
processus
processus
est une
instance
de
ClosingEyes
processus
est une
instance
de
OpeningEyes
processus
est un
sous
-processus de
processus
processus
est un
sous
-processus de
processus
(=>
(
instance
?B
Bowling
)
(
exists
(?BALL ?TRANS ?LANE)
(
and
(
instance
?TRANS
Translocation
)
(
instance
?BALL
BowlingBall
)
(
patient
?TRANS ?BALL)
(
instance
?LANE
BowlingLane
)
(
path
?TRANS ?LANE)
(
subProcess
?TRANS ?B))))
Sports.kif 1107-1116
Processus
est une
instance
de
Bowling
processus
ALL
d�palcement
and
objet
d�palcement
est une
instance
de
Translocation
processus
ALL est une
instance
de
BowlingBall
processus
ALL est un
patient
de
d�palcement
objet
est une
instance
de
BowlingLane
objet
est le
chemin
le long duquel
d�palcement
se produit
d�palcement
est un
sous
-processus de
processus
(=>
(
instance
?B
Breath
)
(
exists
(?I ?E)
(
and
(
subProcess
?I ?B)
(
subProcess
?E ?B)
(
earlier
(
WhenFn
?I)
(
WhenFn
?E))
(
meetsTemporally
(
WhenFn
?I)
(
WhenFn
?E)))))
Mid-level-ontology.kif 10363-10374
Processus
est une
instance
de
Breath
processus
processus
processus
est un
sous
-processus de
processus
processus
est un
sous
-processus de
processus
temps
d'existence de
processus
arrive
plus
t�t que
temps
d'existence de
processus
temps
d'existence de
processus
rencontre
temps
d'existence de
processus
(=>
(
instance
?B
Burying
)
(
exists
(?C ?S)
(
and
(
instance
?C
Covering
)
(
instrument
?C ?S)
(
instance
?S
Soil
)
(
subProcess
?C ?B))))
Mid-level-ontology.kif 17998-18005
Processus
est une
instance
de
Burying
processus
objet
processus
est une
instance
de
couvrir
objet
est un
instrument
pour
processus
objet
est une
instance
de
Soil
processus
est un
sous
-processus de
processus
(=>
(
instance
?BALL
SoccerBall
)
(
hasPurpose
?BALL
(
exists
(?S ?K)
(
and
(
instance
?S
Soccer
)
(
instance
?K
Kicking
)
(
subProcess
?K ?S)
(
patient
?K ?BALL)))))
Sports.kif 313-321
Physique
est une
instance
de
SoccerBall
physique
a pour
but
entit�
entit�
entit�
est une
instance
de
Soccer
entit�
est une
instance
de
Kicking
entit�
est un
sous
-processus de
entit�
physique
est un
patient
de
entit�
(=>
(
instance
?BATTLE
Battle
)
(
exists
(?ATTACK)
(
and
(
instance
?ATTACK
ViolentContest
)
(
subProcess
?ATTACK ?BATTLE))))
Merge.kif 13365-13370
Processus
est une
instance
de
bataille
processus
processus
est une
instance
de
affrontement violent
processus
est un
sous
-processus de
processus
(=>
(
instance
?BATTLE
Battle
)
(
exists
(?WAR)
(
and
(
instance
?WAR
War
)
(
subProcess
?BATTLE ?WAR))))
Merge.kif 13358-13363
Processus
est une
instance
de
bataille
processus
processus
est une
instance
de
guerre
processus
est un
sous
-processus de
processus
(=>
(
instance
?BLIZZARD
Blizzard
)
(
exists
(?PROCESS)
(
and
(
instance
?PROCESS
Snowing
)
(
subProcess
?PROCESS ?BLIZZARD))))
Weather.kif 2620-2625
Processus
est une
instance
de
Blizzard
processus
processus
est une
instance
de
Snowing
processus
est un
sous
-processus de
processus
(=>
(
instance
?BOIL
Boiling
)
(
exists
(?HEAT)
(
and
(
instance
?HEAT
Heating
)
(
subProcess
?HEAT ?BOIL))))
Merge.kif 13926-13931
Processus
est une
instance
de
�vaporer
processus
processus
est une
instance
de
r�chauffer
processus
est un
sous
-processus de
processus
(=>
(
instance
?BREAK
BreakingWave
)
(
exists
(?WAVE ?WATER1 ?WATER2 ?FALL)
(
and
(
instance
?WAVE
WaterWave
)
(
subProcess
?BREAK ?WAVE)
(
instance
?WATER1
BodyOfWater
)
(
instance
?WATER2
BodyOfWater
)
(
patient
?WAVE ?WATER2)
(
patient
?BREAK ?WATER1)
(
instance
?FALL
Falling
)
(
objectTransferred
?FALL ?WATER1)
(
holdsDuring
(
BeginFn
(
WhenFn
?FALL))
(
part
?WATER1 ?WATER2))
(
holdsDuring
(
EndFn
(
WhenFn
?FALL))
(
not
(
part
?WATER1 ?WATER2))))))
Weather.kif 1353-1373
Processus
est une
instance
de
BreakingWave
processus
objet
,
entit�
and
transf�re
processus
est une
instance
de
WaterWave
processus
est un
sous
-processus de
processus
objet
est une
instance
de
BodyOfWater
entit�
est une
instance
de
BodyOfWater
entit�
est un
patient
de
processus
objet
est un
patient
de
processus
transf�re
est une
instance
de
Falling
objectTransferred
transf�re
and
objet
objet
est une
partie
de
entit�
pendant
le
d
�but de
temps
d'existence de
transf�re
objet
est une
partie
de
entit�
pendant
la
fin
de
temps
d'existence de
transf�re
(=>
(
instance
?BURIAL
Burial
)
(
exists
(?SP)
(
and
(
instance
?SP
Burying
)
(
subProcess
?SP ?BURIAL))))
Mid-level-ontology.kif 16017-16022
Processus
est une
instance
de
Burial
processus
processus
est une
instance
de
Burying
processus
est un
sous
-processus de
processus
(=>
(
instance
?C
Correcting
)
(
exists
(?D ?S ?SP ?CP)
(
and
(
instance
?D
Disagreeing
)
(
subProcess
?C ?D)
(
instance
?S
Stating
)
(
subProcess
?S ?D)
(
containsInformation
?S ?SP)
(
containsInformation
?C ?CP)
(
refers
?CP ?SP)
(
not
(
consistent
?CP ?SP)))))
Mid-level-ontology.kif 29691-29703
Processus
est une
instance
de
Correcting
processus
processus
,
processus
P and
processus
P
processus
est une
instance
de
Disagreeing
processus
est un
sous
-processus de
processus
processus
est une
instance
de
d�clarer
processus
est un
sous
-processus de
processus
processus
contient
information
processus
P
processus
contient
information
processus
P
processus
P inclut une
r
�f�rence �
processus
P
consistent
processus
P and
processus
P
(=>
(
instance
?C
Corresponding
)
(
exists
(?M ?T)
(
and
(
instance
?M
Mailing
)
(
subProcess
?M ?C)
(
instance
?T
Correspondence
)
(
patient
?M ?T)
(
patient
?C ?T))))
Mid-level-ontology.kif 834-842
Processus
est une
instance
de
Corresponding
processus
entit�
processus
est une
instance
de
Mailing
processus
est un
sous
-processus de
processus
entit�
est une
instance
de
Correspondence
entit�
est un
patient
de
processus
entit�
est un
patient
de
processus
(=>
(
instance
?C
Crossposting
)
(
exists
(?I ?P1 ?P2 ?D1 ?D2)
(
and
(
instance
?P1
Posting
)
(
instance
?P2
Posting
)
(
containsInformation
?P1 ?I)
(
containsInformation
?P1 ?I)
(
destination
?P1 ?D1)
(
destination
?P2 ?D2)
(
not
(
equal
?P1 ?P2))
(
not
(
equal
?D1 ?D2))
(
subProcess
?P1 ?C)
(
subProcess
?P2 ?C))))
ComputingBrands.kif 4643-4658
Processus
est une
instance
de
Crossposting
proposition
processus
,
processus
,
entit�
and
entit�
processus
est une
instance
de
Posting
processus
est une
instance
de
Posting
processus
contient
information
proposition
processus
contient
information
proposition
processus
aboutit
�
entit�
processus
aboutit
�
entit�
processus
est
processus
entit�
est
entit�
processus
est un
sous
-processus de
processus
processus
est un
sous
-processus de
processus
(=>
(
instance
?C
Crushing
)
(
exists
(?I ?C ?O)
(
and
(
instance
?I
Impacting
)
(
subProcess
?C ?I)
(
instance
?C
Compressing
)
(
patient
?I ?O)
(
patient
?C ?O)
(
instance
?O
Object
))))
Food.kif 969-978
Processus
est une
instance
de
Crushing
processus
processus
and
entit�
processus
est une
instance
de
impacte
processus
est un
sous
-processus de
processus
processus
est une
instance
de
Compressing
entit�
est un
patient
de
processus
entit�
est un
patient
de
processus
entit�
est une
instance
de
objet
(=>
(
instance
?C
CuringFood
)
(
exists
(?F ?P ?S)
(
and
(
instance
?F
Food
)
(
patient
?C ?F)
(
instance
?P
Putting
)
(
subProcess
?P ?C)
(
instance
?S
SodiumChloride
)
(
patient
?P ?S)
(
destination
?P ?F))))
Food.kif 84-94
Processus
est une
instance
de
CuringFood
entit�
processus
and
entit�
entit�
est une
instance
de
nourriture
entit�
est un
patient
de
processus
processus
est une
instance
de
mettre
processus
est un
sous
-processus de
processus
entit�
est une
instance
de
SodiumChloride
entit�
est un
patient
de
processus
processus
aboutit
�
entit�
(=>
(
instance
?CAST
DramaticCast
)
(
exists
(?TEXT ?PROP ?PROC)
(
and
(
instance
?TEXT
FictionalText
)
(
containsInformation
?TEXT ?PROP)
(
realization
?PROC ?PROP)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?CAST)
(
exists
(?SUB)
(
and
(
instance
?SUB
DramaticActing
)
(
agent
?SUB ?MEMBER)
(
subProcess
?SUB ?PROC))))))))
Mid-level-ontology.kif 15967-15981
Collection
est une
instance
de
DramaticCast
ContentBearingPhysical
proposition
and
processus
ContentBearingPhysical
est une
instance
de
FictionalText
ContentBearingPhysical
contient
information
proposition
processus
exprime
le contenu de
proposition
AutonomousAgent
AutonomousAgent
est un
membre
de
collection
processus
processus
est une
instance
de
DramaticActing
processus
est un
agent
de
AutonomousAgent
processus
est un
sous
-processus de
processus
(=>
(
instance
?CC
ChangingClothing
)
(
exists
(?R ?D)
(
and
(
instance
?R
RemovingClothing
)
(
instance
?D
Dressing
)
(
subProcess
?R ?CC)
(
subProcess
?D ?CC))))
Mid-level-ontology.kif 5524-5531
Processus
est une
instance
de
ChangingClothing
processus
processus
processus
est une
instance
de
RemovingClothing
processus
est une
instance
de
Dressing
processus
est un
sous
-processus de
processus
processus
est un
sous
-processus de
processus
(=>
(
instance
?CHECK
CheckInService
)
(
exists
(?AGENT ?CUST ?GREET ?SERVICE)
(
and
(
customer
?CUST ?AGENT)
(
serviceProvider
?CHECK ?AGENT)
(
instance
?GREET
Greeting
)
(
agent
?GREET ?CUST)
(
destination
?GREET ?AGENT)
(
subProcess
?GREET ?CHECK)
(
instance
?SERVICE
Process
)
(
agent
?SERVICE ?AGENT)
(
causes
?CHECK ?SERVICE))))
Hotel.kif 2154-2166
ServiceProcess
est une
instance
de
CheckInService
agent cognitif
agent cognitif
,
processus
and
processus
customer
agent cognitif
and
agent cognitif
serviceProvider
ServiceProcess
and
agent cognitif
processus
est une
instance
de
Greeting
processus
est un
agent
de
agent cognitif
processus
aboutit
�
agent cognitif
processus
est un
sous
-processus de
ServiceProcess
processus
est une
instance
de
processus
processus
est un
agent
de
agent cognitif
ServiceProcess
cause
processus
(=>
(
instance
?CHECKOUT
Checkout
)
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
subProcess
?CHECKOUT ?BUYING)
(
not
(
exists
(?PROCESS)
(
and
(
subProcess
?PROCESS ?BUYING)
(
earlier
(
WhenFn
?CHECKOUT)
(
WhenFn
?PROCESS))))))))
UXExperimentalTerms.kif 1465-1475
Processus
est une
instance
de
Checkout
processus
processus
est une
instance
de
acheter
processus
est un
sous
-processus de
processus
processus
processus
est un
sous
-processus de
processus
temps
d'existence de
processus
arrive
plus
t�t que
temps
d'existence de
processus
(=>
(
instance
?CHEW
Chewing
)
(
exists
(?EAT)
(
and
(
instance
?EAT
Eating
)
(
subProcess
?CHEW ?EAT))))
Mid-level-ontology.kif 11566-11571
Processus
est une
instance
de
Chewing
processus
processus
est une
instance
de
manger
processus
est un
sous
-processus 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