subProcess
(=>
(
and
(
instance
?HR
Reel
)
(
instance
?K
Keeping
)
(
instance
?H
CorpuscularObject
)
(
attribute
?H
LongAndThin
)
(
attribute
?H
Pliable
)
(
instrument
?K ?HR)
(
patient
?K ?H))
(
exists
(?R)
(
and
(
instance
?R
Rotating
)
(
patient
?R ?HR)
(
subProcess
?R ?K))))
Cars.kif 4301-4314
Objet
est une
instance
de
Reel
processus
est une
instance
de
garder
objet
est une
instance
de
objet corpusculaire
LongAndThin
est un
attribut
de
objet
Pliable
est un
attribut
de
objet
objet
est un
instrument
pour
processus
objet
est un
patient
de
processus
processus
processus
est une
instance
de
Rotating
objet
est un
patient
de
processus
processus
est un
sous
-processus de
processus
(=>
(
and
(
instance
?I
Infecting
)
(
experiencer
?I ?H))
(
exists
(?T ?R ?O)
(
and
(
instance
?T
Translocation
)
(
moves
?T ?O)
(
instance
?O
Organism
)
(
instance
?R
Replication
)
(
experiencer
?R ?O)
(
subProcess
?T ?I)
(
subProcess
?R ?I))))
Mid-level-ontology.kif 5847-5859
Processus
est une
instance
de
Infecting
AutonomousAgent
exp
�rimente
processus
d�palcement
processus
and
AutonomousAgent
d�palcement
est une
instance
de
Translocation
moves
d�palcement
and
AutonomousAgent
AutonomousAgent
est une
instance
de
organisme
processus
est une
instance
de
reproduction
AutonomousAgent
exp
�rimente
processus
d�palcement
est un
sous
-processus de
processus
processus
est un
sous
-processus de
processus
(=>
(
and
(
instance
?L
Lathe
)
(
instance
?OBJ
Object
)
(
instrument
?PROC ?L)
(
patient
?PROC ?OBJ))
(
exists
(?R)
(
and
(
instance
?R
Rotating
)
(
subProcess
?PROC ?R)
(
patient
?R ?OBJ)
(
agent
?R ?L))))
Economy.kif 6000-6011
AutonomousAgent
est une
instance
de
Lathe
entit�
est une
instance
de
objet
AutonomousAgent
est un
instrument
pour
processus
entit�
est un
patient
de
processus
processus
processus
est une
instance
de
Rotating
processus
est un
sous
-processus de
processus
entit�
est un
patient
de
processus
processus
est un
agent
de
AutonomousAgent
(=>
(
and
(
instance
?MC
MusicalComposition
)
(
realization
?MC ?MUSIC))
(
not
(
exists
(?LC ?V)
(
and
(
instance
?V
Singing
)
(
patient
?V ?LC)
(
instance
?LC
LyricalContent
)
(
subProcess
?V ?MUSIC)))))
Mid-level-ontology.kif 13752-13762
Processus
est une
instance
de
MusicalComposition
processus
exprime
le contenu de
processus
entit�
processus
processus
est une
instance
de
Singing
entit�
est un
patient
de
processus
entit�
est une
instance
de
LyricalContent
processus
est un
sous
-processus de
processus
(=>
(
and
(
instance
?MOVEMENT
Translocation
)
(
origin
?MOVEMENT ?PLACE1))
(
exists
(?PLACE2 ?STAGE)
(
and
(
instance
?PLACE2
Region
)
(
not
(
equal
?PLACE1 ?PLACE2))
(
subProcess
?STAGE ?MOVEMENT)
(
located
?STAGE ?PLACE2))))
Merge.kif 11558-11567
Processus
est une
instance
de
Translocation
processus
a pour
origine
objet
objet
processus
objet
est une
instance
de
r�gion
objet
est
objet
processus
est un
sous
-processus de
processus
processus
est
situ
� �
objet
(=>
(
and
(
instance
?MUSIC
MakingVocalMusic
)
(
agent
?MUSIC ?GROUP)
(
instance
?GROUP
Choir
)
(
holdsDuring
?MUSIC
(
member
?MEM ?GROUP)))
(
exists
(?SING)
(
and
(
instance
?SING
Singing
)
(
subProcess
?SING ?MUSIC)
(
agent
?SING ?MEM))))
Media.kif 1807-1817
Processus
est une
instance
de
MakingVocalMusic
processus
est un
agent
de
AutonomousAgent
AutonomousAgent
est une
instance
de
Choir
AutonomousAgent
est un
membre
de
AutonomousAgent
pendant
processus
processus
processus
est une
instance
de
Singing
processus
est un
sous
-processus de
processus
processus
est un
agent
de
AutonomousAgent
(=>
(
and
(
instance
?ORD
Ordaining
)
(
patient
?ORD ?X)
(
instance
?X
Human
)
(
member
?X
Christianity
))
(
hasPurpose
?ORD
(
exists
(?CER ?A)
(
and
(
instance
?CER
Ceremony
)
(
instance
?A
Appointing
)
(
subProcess
?A ?CER)
(
patient
?A ?X)
(
appointedPosition
?A ?X
Cleric
)))))
Biography.kif 156-169
Processus
est une
instance
de
Ordaining
physique
est un
patient
de
processus
physique
est une
instance
de
humain
physique
est un
membre
de
Christianity
processus
a pour
but
entit�
entit�
entit�
est une
instance
de
Ceremony
entit�
est une
instance
de
Appointing
entit�
est un
sous
-processus de
entit�
physique
est un
patient
de
entit�
appointedPosition
entit�
,
physique
and
Cleric
(=>
(
and
(
instance
?R
BaseballRun
)
(
agent
?R ?A))
(
exists
(?T ?H)
(
and
(
instance
?T
Touching
)
(
subProcess
?T ?R)
(
agent
?T ?A)
(
patient
?T ?H)
(
instance
?H
HomeBase
))))
Sports.kif 624-634
Processus
est une
instance
de
BaseballRun
processus
est un
agent
de
AutonomousAgent
processus
entit�
processus
est une
instance
de
toucher
processus
est un
sous
-processus de
processus
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
entit�
est une
instance
de
HomeBase
(=>
(
and
(
instance
?R
RecreationOrExercise
)
(
instrument
?R ?RM)
(
instance
?RM
RowingMachine
)
(
experiencer
?R ?H)
(
instance
?ROW
Rowing
)
(
subProcess
?RMOT ?R)
(
subclass
?C
BodyMotion
)
(
instance
?RMOT ?C))
(
exists
(?ROWMOT)
(
and
(
instance
?ROWMOT ?C)
(
subProcess
?ROWMOT ?R)
(
agent
?ROWMOT ?H))))
Mid-level-ontology.kif 8243-8257
Processus
est une
instance
de
r�cr�ation ou exercice
processus
M est un
instrument
pour
processus
processus
M est une
instance
de
RowingMachine
AutonomousAgent
exp
�rimente
processus
processus
OW est une
instance
de
Rowing
processus
MOT est un
sous
-processus de
processus
classe
est une
sous
-classe de
mouvement du corps
processus
MOT est une
instance
de
classe
processus
OWMOT
processus
OWMOT est une
instance
de
classe
processus
OWMOT est un
sous
-processus de
processus
processus
OWMOT est un
agent
de
AutonomousAgent
(=>
(
and
(
instance
?R
Robbing
)
(
agent
?R ?P)
(
patient
?R ?P2))
(
exists
(?T)
(
and
(
instance
?T
Threatening
)
(
subProcess
?T ?R)
(
patient
?T
(
exists
(?A)
(
and
(
instance
?A
Attack
)
(
agent
?A ?P)
(
patient
?A ?P2)))))))
Mid-level-ontology.kif 18600-18614
Processus
est une
instance
de
Robbing
processus
est un
agent
de
AutonomousAgent
AutonomousAgent
2 est un
patient
de
processus
processus
processus
est une
instance
de
Threatening
processus
est un
sous
-processus de
processus
entit�
entit�
est une
instance
de
Attack
entit�
est un
agent
de
AutonomousAgent
AutonomousAgent
2 est un
patient
de
entit�
est un
patient
de
processus
(=>
(
and
(
instance
?RR
RunningARace
)
(
agent
?RR ?H))
(
exists
(?R)
(
and
(
instance
?R
Running
)
(
agent
?R ?H)
(
subProcess
?R ?RR))))
Sports.kif 265-273
Processus
est une
instance
de
RunningARace
processus
est un
agent
de
AutonomousAgent
processus
processus
est une
instance
de
Running
processus
est un
agent
de
AutonomousAgent
processus
est un
sous
-processus de
processus
(=>
(
and
(
instance
?RbF
ReconnaissanceByFire
)
(
agent
?RbF ?AGENT))
(
exists
(?ATTACK ?HOSTILE)
(
and
(
patient
?RbF ?HOSTILE)
(
subProcess
?ATTACK ?RbF)
(
instance
?ATTACK
Attack
)
(
agent
?ATTACK ?AGENT)
(
patient
?ATTACK ?HOSTILE))))
MilitaryProcesses.kif 713-723
Processus
est une
instance
de
ReconnaissanceByFire
processus
est un
agent
de
AutonomousAgent
processus
entit�
entit�
est un
patient
de
processus
processus
est un
sous
-processus de
processus
processus
est une
instance
de
Attack
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
(=>
(
and
(
instance
?S
Song
)
(
realization
?S ?MUSIC))
(
exists
(?MM ?MV ?LC ?MC)
(
and
(
instance
?MM
MakingMusic
)
(
instance
?MV
Singing
)
(
instance
?LC
LyricalContent
)
(
instance
?MC
MusicalComposition
)
(
patient
?MM ?MC)
(
patient
?MV ?LC)
(
subProcess
?MM ?MUSIC)
(
subProcess
?MV ?MUSIC))))
Mid-level-ontology.kif 13771-13784
Processus
est une
instance
de
Song
processus
exprime
le contenu de
processus
processus
processus
,
entit�
and
entit�
processus
est une
instance
de
MakingMusic
processus
est une
instance
de
Singing
entit�
est une
instance
de
LyricalContent
entit�
est une
instance
de
MusicalComposition
entit�
est un
patient
de
processus
entit�
est un
patient
de
processus
processus
est un
sous
-processus de
processus
processus
est un
sous
-processus de
processus
(=>
(
and
(
instance
?S
Stroke
)
(
instance
?B
Brain
)
(
located
?S ?B))
(
exists
(?N ?D)
(
and
(
instance
?N
NerveCell
)
(
located
?N ?B)
(
instance
?D
Destruction
)
(
subProcess
?D ?S)
(
patient
?D ?N))))
Mid-level-ontology.kif 11934-11945
Processus
est une
instance
de
Stroke
objet
est une
instance
de
Brain
processus
est
situ
� �
objet
physique
processus
physique
est une
instance
de
NerveCell
physique
est
situ
� �
objet
processus
est une
instance
de
destruction
processus
est un
sous
-processus de
processus
physique
est un
patient
de
processus
(=>
(
and
(
instance
?SAW
Saw
)
(
instance
?CUT
Cutting
)
(
instrument
?CUT ?SAW)
(
instance
?OBJ
Object
)
(
patient
?CUT ?OBJ))
(
exists
(?MOTION ?DIR1 ?DIR2 ?TIME ?T1 ?T2 ?PART)
(
and
(
instance
?MOTION
Motion
)
(
subProcess
?MOTION ?CUT)
(
instance
?PART
CuttingDevice
)
(
part
?PART ?SAW)
(
meetsSpatially
?PART ?OBJ)
(
patient
?MOTION ?PART)
(
instance
?T2
TimeInterval
)
(
instance
?T2
TimeInterval
)
(
equal
(
WhenFn
?MOTION) ?TIME)
(
temporalPart
?TIME ?T1)
(
temporalPart
?TIME ?T2)
(
instance
?DIR1
DirectionalAttribute
)
(
instance
?DIR2
DirectionalAttribute
)
(=>
(
holdsDuring
?T1
(
direction
?MOTION ?DIR1))
(
holdsDuring
?T2
(
and
(
direction
?MOTION ?DIR2)
(
or
(
equal
?DIR1 ?DIR2)
(
oppositeDirection
?DIR1 ?DIR2))
(
not
(
and
(
equal
?DIR1 ?DIR2)
(
oppositeDirection
?DIR1 ?DIR2)))))))))
Mid-level-ontology.kif 18150-18184
Objet
est une
instance
de
Saw
processus
est une
instance
de
couper
objet
est un
instrument
pour
processus
objet
est une
instance
de
objet
objet
est un
patient
de
processus
processus
entit�
,
entit�
,
interval temporel
,
position temporel
,
position temporel
and
objet
processus
est une
instance
de
d�palcement
processus
est un
sous
-processus de
processus
objet
est une
instance
de
CuttingDevice
objet
est une
partie
de
objet
objet
rencontre
objet
objet
est un
patient
de
processus
position temporel
est une
instance
de
interval temporel
position temporel
est une
instance
de
interval temporel
temps
d'existence de
processus
est
interval temporel
interval temporel
est une
partie
de
position temporel
interval temporel
est une
partie
de
position temporel
entit�
est une
instance
de
attribut directionnel
entit�
est une
instance
de
attribut directionnel
les entit�es dans le processus
processus
bougent
entit�
pendant
position temporel
les entit�es dans le processus
processus
bougent
entit�
entit�
est
entit�
oppositeDirection
entit�
and
entit�
~{
entit�
est
entit�
} ~{
oppositeDirection
entit�
and
entit�
}
pendant
position temporel
(=>
(
and
(
instance
?SHARE
Sharing
)
(
agent
?SHARE ?AGENT1)
(
destination
?SHARE ?AGENT2)
(
patient
?SHARE ?OBJ))
(
exists
(?GIVE ?PART)
(
and
(
instance
?GIVE
Giving
)
(
subProcess
?GIVE ?SHARE)
(
patient
?GIVE ?PART)
(
properPart
?PART ?OBJ)
(
agent
?GIVE ?AGENT1)
(
destination
?GIVE ?AGENT2))))
Mid-level-ontology.kif 18564-18577
Processus
est une
instance
de
Sharing
processus
est un
agent
de
AutonomousAgent
processus
aboutit
�
entit�
objet
est un
patient
de
processus
processus
objet
processus
est une
instance
de
donner
processus
est un
sous
-processus de
processus
objet
est un
patient
de
processus
objet
est une
partie
de
objet
processus
est un
agent
de
AutonomousAgent
processus
aboutit
�
entit�
(=>
(
and
(
instance
?SP
SportsPlay
)
(
realization
?P ?SP))
(
exists
(?S)
(
and
(
instance
?S
TeamSport
)
(
instance
?P
Maneuver
)
(
subProcess
?P ?S))))
Mid-level-ontology.kif 16643-16651
Proposition
est une
instance
de
SportsPlay
processus
exprime
le contenu de
proposition
processus
processus
est une
instance
de
TeamSport
processus
est une
instance
de
manoeuvre
processus
est un
sous
-processus de
processus
(=>
(
and
(
instance
?T
Thoracentesis
)
(
patient
?T ?H))
(
exists
(?I ?O ?IN ?L ?C ?F)
(
and
(
instance
?I
Inserting
)
(
subProcess
?I ?T)
(
objectTransferred
?I ?N)
(
origin
?I ?O)
(
destination
?I ?IN)
(
instance
?N
Needle
)
(
attribute
?F
Fluid
)
(
objectTransferred
?T ?F)
(
destination
?F ?O)
(
instance
?L
Lung
)
(
instance
?C
Chest
)
(
part
?L ?H)
(
part
?C ?H)
(
origin
?T ?IN)
(
destination
?T ?O)
(
between
?L ?IN ?C)
(
orientation
?O ?H
Outside
))))
Medicine.kif 895-917
Transf�re
est une
instance
de
Thoracentesis
objet
est un
patient
de
transf�re
transf�re
objet
,
transf�re
N,
objet
,
objet
and
objet
transf�re
est une
instance
de
Inserting
transf�re
est un
sous
-processus de
transf�re
objectTransferred
transf�re
and
objet
transf�re
a pour
origine
objet
transf�re
aboutit
�
transf�re
N
objet
est une
instance
de
Needle
Fluid
est un
attribut
de
objet
objectTransferred
transf�re
and
objet
objet
aboutit
�
objet
objet
est une
instance
de
Lung
objet
est une
instance
de
Chest
objet
est une
partie
de
objet
objet
est une
partie
de
objet
transf�re
a pour
origine
transf�re
N
transf�re
aboutit
�
objet
transf�re
N est
entre
objet
et
objet
objet
est
Outside
�
objet
(=>
(
and
(
instance
?T
TwoStrokeTransfer
)
(
instance
?C
EngineCylinder
)
(
instance
?I
InternalCombustionChamber
)
(
equal
?C
(
HoleHostFn
?I))
(
eventLocated
?T ?C))
(
exists
(?E ?M)
(
and
(
instance
?M
GasMotion
)
(
instance
?E
Exhaust
)
(
subProcess
?M ?T)
(
origin
?M ?I)
(
patient
?M ?E))))
Cars.kif 523-536
Processus
est une
instance
de
TwoStrokeTransfer
objet
est une
instance
de
EngineCylinder
trou
est une
instance
de
InternalCombustionChamber
objet
est
h
�te du trou
trou
eventLocated
processus
and
objet
entit�
processus
processus
est une
instance
de
GasMotion
entit�
est une
instance
de
Exhaust
processus
est un
sous
-processus de
processus
processus
a pour
origine
trou
entit�
est un
patient
de
processus
(=>
(
and
(
instance
?T1
Translocation
)
(
instance
?T2
Translocation
)
(
origin
?T1 ?O1)
(
origin
?T2 ?D1)
(
destination
?T1 ?D1)
(
destination
?T2 ?D2)
(
experiencer
?T1 ?P)
(
experiencer
?T2 ?P))
(
exists
(?T)
(
and
(
instance
?T
Translocation
)
(
origin
?T ?O1)
(
destination
?T ?D2)
(
subProcess
?T1 ?T)
(
subProcess
?T2 ?T)
(
experiencer
?T ?P)
(
starts
(
WhenFn
?T1)
(
WhenFn
?T))
(
finishes
(
WhenFn
?T2)
(
WhenFn
?T)))))
Merge.kif 11305-11328
Processus
est une
instance
de
Translocation
processus
est une
instance
de
Translocation
processus
a pour
origine
objet
processus
a pour
origine
objet
processus
aboutit
�
objet
processus
aboutit
�
entit�
AutonomousAgent
exp
�rimente
processus
AutonomousAgent
exp
�rimente
processus
processus
processus
est une
instance
de
Translocation
processus
a pour
origine
objet
processus
aboutit
�
entit�
processus
est un
sous
-processus de
processus
processus
est un
sous
-processus de
processus
AutonomousAgent
exp
�rimente
processus
temps
d'existence de
processus
commence
temps
d'existence de
processus
temps
d'existence de
processus
finit
temps
d'existence de
processus
(=>
(
and
(
instance
?TEST
MultivariateTest
)
(
subProcess
?EXPERIMENT1 ?TEST)
(
subProcess
?EXPERIMENT2 ?TEST)
(
instance
?EXPERIMENT1
Experimenting
)
(
instance
?EXPERIMENT2
Experimenting
)
(
instance
?VARIABLE1
Process
)
(
instance
?VARIABLE2
Process
)
(
experimentalVariableProcess
?EXPERIMENT1 ?VARIABLE1)
(
experimentalVariableProcess
?EXPERIMENT2 ?VARIABLE2))
(
exists
(?PROCESS)
(
and
(
instance
?PROCESS
Process
)
(
subProcess
?VARIABLE1 ?PROCESS)
(
subProcess
?VARIABLE2 ?PROCESS)
(
not
(
equal
?VARIABLE1 ?VARIABLE2)))))
UXExperimentalTerms.kif 4501-4518
Processus
est une
instance
de
MultivariateTest
Experimenting
est un
sous
-processus de
processus
Experimenting
est un
sous
-processus de
processus
Experimenting
est une
instance
de
Experimenting
Experimenting
est une
instance
de
Experimenting
processus
est une
instance
de
processus
processus
est une
instance
de
processus
experimentalVariableProcess
Experimenting
and
processus
experimentalVariableProcess
Experimenting
and
processus
processus
processus
est une
instance
de
processus
processus
est un
sous
-processus de
processus
processus
est un
sous
-processus de
processus
processus
est
processus
(=>
(
and
(
instance
?WEAPON
HighPrecisionWeapon
)
(
instrument
?DESTR ?WEAPON)
(
patient
?DESTR ?PATIENT))
(
hasPurpose
?WEAPON
(
not
(
exists
(?DAMAGING ?DAMAGED)
(
and
(
instance
?DAMAGING
Damaging
)
(
subProcess
?DAMAGING ?DESTR)
(
patient
?DAMAGING ?DAMAGED)
(
not
(
equal
?PATIENT ?DAMAGED)))))))
MilitaryProcesses.kif 641-654
Objet
est une
instance
de
HighPrecisionWeapon
objet
est un
instrument
pour
processus
entit�
est un
patient
de
processus
objet
a pour
but
entit�
entit�
entit�
est une
instance
de
endommager
entit�
est un
sous
-processus de
processus
entit�
est un
patient
de
entit�
entit�
est
entit�
(=>
(
and
(
instance
?WI
WindInstrument
)
(
instance
?M
MakingInstrumentalMusic
)
(
agent
?M ?A)
(
instrument
?M ?WI))
(
exists
(?B)
(
and
(
instance
?B
Exhaling
)
(
agent
?B ?A)
(
subProcess
?B ?M))))
Music.kif 1203-1213
Objet
est une
instance
de
WindInstrument
processus
est une
instance
de
MakingInstrumentalMusic
processus
est un
agent
de
AutonomousAgent
objet
est un
instrument
pour
processus
processus
processus
est une
instance
de
Exhaling
processus
est un
agent
de
AutonomousAgent
processus
est un
sous
-processus de
processus
(=>
(
and
(
instance
?X
DryRoasting
)
(
instance
?F
Food
)
(
patient
?X ?F))
(
holdsDuring
?X
(
exists
(?H ?S)
(
and
(
instance
?H
Heating
)
(
instance
?S
Stirring
)
(
subProcess
?H ?X)
(
subProcess
?S ?X)
(
during
(
WhenFn
?S)
(
WhenFn
?H))
(
patient
?H ?F)
(
patient
?S ?F)
(
not
(
exists
(?O ?W)
(
and
(
instance
?O
Oil
)
(
instance
?W
DrinkingWater
)
(
patient
?X ?O)
(
patient
?X ?W))))))))
Food.kif 128-151
Processus
est une
instance
de
DryRoasting
entit�
est une
instance
de
nourriture
entit�
est un
patient
de
processus
entit�
entit�
entit�
est une
instance
de
r�chauffer
entit�
est une
instance
de
Stirring
entit�
est un
sous
-processus de
processus
entit�
est un
sous
-processus de
processus
temps
d'existence de
entit�
prend place
pendant
temps
d'existence de
entit�
entit�
est un
patient
de
entit�
entit�
est un
patient
de
entit�
entit�
entit�
entit�
est une
instance
de
Oil
entit�
est une
instance
de
DrinkingWater
entit�
est un
patient
de
processus
entit�
est un
patient
de
processus
pendant
processus
(=>
(
and
(
instance
?X
WaterTransportationService
)
(
serviceProvider
?X ?Y)
(
attribute
?Y
CoastalAndGreatLakesFreightTransportation
))
(
exists
(?FREIGHT ?SHIP ?WATER)
(
and
(
subProcess
?FREIGHT ?X)
(
instance
?FREIGHT
WaterTransportation
)
(
instrument
?FREIGHT ?SHIP)
(
instance
?SHIP
CargoShip
)
(
eventLocated
?FREIGHT ?WATER)
(
instance
?WATER
WaterArea
)
(
geographicSubregion
?WATER
UnitedStates
))))
naics.kif 8184-8197
ServiceProcess
est une
instance
de
WaterTransportationService
serviceProvider
ServiceProcess
and
agent cognitif
CoastalAndGreatLakesFreightTransportation
est un
attribut
de
agent cognitif
processus
objet
and
secteur g�ographique
processus
est un
sous
-processus de
ServiceProcess
processus
est une
instance
de
WaterTransportation
objet
est un
instrument
pour
processus
objet
est une
instance
de
CargoShip
eventLocated
processus
and
secteur g�ographique
secteur g�ographique
est une
instance
de
plan d'eau
geographicSubregion
secteur g�ographique
and
UnitedStates
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