instrument
(=>
(
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
?S
Sweeping
)
(
instrument
?S ?B))
(
instance
?B
Broom
))
Mid-level-ontology.kif 5568-5572
Processus
est une
instance
de
Sweeping
objet
est un
instrument
pour
processus
objet
est une
instance
de
Broom
(=>
(
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
?SHOOTING
Shooting
)
(
instrument
?SHOOTING ?AC)
(
instance
?AC
ArtilleryCannon
))
(
exists
(?PROJ)
(
and
(
instrument
?SHOOTING ?PROJ)
(
instance
?PROJ
(
UnionFn
Missile
Grenade
)))))
MilitaryDevices.kif 179-188
Processus
est une
instance
de
tirer
objet
est un
instrument
pour
processus
objet
est une
instance
de
ArtilleryCannon
objet
objet
est un
instrument
pour
processus
objet
est une
instance
de l'
union
de
Missile
et
Grenade
(=>
(
and
(
instance
?SHOOTING
Shooting
)
(
instrument
?SHOOTING ?AC)
(
instance
?AC
GrenadeLauncher
))
(
exists
(?PROJ)
(
and
(
instrument
?SHOOTING ?PROJ)
(
instance
?PROJ
Grenade
))))
MilitaryDevices.kif 597-605
Processus
est une
instance
de
tirer
objet
est un
instrument
pour
processus
objet
est une
instance
de
GrenadeLauncher
objet
objet
est un
instrument
pour
processus
objet
est une
instance
de
Grenade
(=>
(
and
(
instance
?SHOOTING
Shooting
)
(
instrument
?SHOOTING ?MG)
(
instance
?MG
MortarGun
))
(
exists
(?PROJ)
(
and
(
instrument
?SHOOTING ?PROJ)
(
instance
?PROJ
Grenade
))))
MilitaryDevices.kif 198-206
Processus
est une
instance
de
tirer
objet
est un
instrument
pour
processus
objet
est une
instance
de
MortarGun
objet
objet
est un
instrument
pour
processus
objet
est une
instance
de
Grenade
(=>
(
and
(
instance
?SHOT
Shooting
)
(
instrument
?SHOT ?GUN)
(
patient
?SHOT ?PROJ)
(
width
?PROJ ?LM1)
(
instance
?GUN ?GUNCLASS)
(
instance
?PROJ
Projectile
)
(
caliber
?GUNCLASS ?LM))
(
equal
?LM ?LM1))
MilitaryDevices.kif 219-228
Processus
est une
instance
de
tirer
objet
est un
instrument
pour
processus
physique
est un
patient
de
processus
la
largeur
de
physique
est
mesure de longueur
objet
est une
instance
de
objet
CLASS
physique
est une
instance
de
Projectile
caliber
objet
CLASS and
mesure de longueur
mesure de longueur
est
mesure de longueur
(=>
(
and
(
instance
?SI
(
ImpairmentFn
?S))
(
instrument
?SI ?A))
(
exists
(?A2)
(
and
(
not
(
equal
?A2 ?A))
(
capability
?S
instrument
?A2)
(
not
(
capability
?S
instrument
?A)))))
Merge.kif 13474-13484
Processus
est une
instance
de
ImpairmentFn
processus
objet
est un
instrument
pour
processus
objet
2
objet
2 est
objet
objet
2 est
capable
de faire
processus
dans le r�le
instrument
objet
est
capable
de faire
processus
dans le r�le
instrument
(=>
(
and
(
instance
?T
Transportation
)
(
instance
?W
Wheel
)
(
instance
?A
Automobile
)
(
part
?W ?A)
(
instrument
?T ?A)
(
instance
?AB
AntilockBrake
)
(
instance
?D
Decelerating
)
(
instrument
?D ?AB)
(
part
?AB ?W))
(
hasPurpose
?AB
(
exists
(?R)
(
and
(
instance
?R
Rotating
)
(
during
?R ?D)))))
Cars.kif 1292-1307
Processus
est une
instance
de
transporter
objet
est une
instance
de
Wheel
objet
est une
instance
de
Automobile
objet
est une
partie
de
objet
objet
est un
instrument
pour
processus
objet
B est une
instance
de
AntilockBrake
processus
est une
instance
de
Decelerating
objet
B est un
instrument
pour
processus
objet
B est une
partie
de
objet
objet
B a pour
but
entit�
entit�
est une
instance
de
Rotating
entit�
prend place
pendant
processus
(=>
(
and
(
instance
?T
Transportation
)
(
instrument
?T ?D)
(
instance
?D
Pump
))
(
exists
(?F)
(
and
(
instrument
?T ?F)
(
attribute
?F
Fluid
))))
Mid-level-ontology.kif 15451-15459
Processus
est une
instance
de
transporter
objet
est un
instrument
pour
processus
objet
est une
instance
de
Pump
objet
objet
est un
instrument
pour
processus
Fluid
est un
attribut
de
objet
(=>
(
and
(
instance
?T
Transportation
)
(
patient
?T ?S)
(
instrument
?T ?SS)
(
instance
?SS
SewageSystem
))
(
instance
?S
Sewage
))
Transportation.kif 789-795
Processus
est une
instance
de
transporter
entit�
est un
patient
de
processus
entit�
S est un
instrument
pour
processus
entit�
S est une
instance
de
SewageSystem
entit�
est une
instance
de
Sewage
(=>
(
and
(
instance
?TRANSPORT
Transportation
)
(
instrument
?TRANSPORT ?VEHICLE)
(
instance
?VEHICLE
RoadVehicle
))
(
instance
?TRANSPORT
TransportViaRoadVehicle
))
Mid-level-ontology.kif 23536-23541
Processus
est une
instance
de
transporter
objet
est un
instrument
pour
processus
objet
est une
instance
de
RoadVehicle
processus
est une
instance
de
TransportViaRoadVehicle
(=>
(
and
(
instance
?TRANSPORT
Transportation
)
(
subProcess
?TRANSPORT ?DRIVE)
(
instance
?DRIVE
Driving
)
(
instrument
?TRANSPORT ?VEHICLE)
(
instance
?VEHICLE
TransportationDevice
))
(
patient
?DRIVE ?VEHICLE))
Mid-level-ontology.kif 23556-23563
Processus
est une
instance
de
transporter
processus
est un
sous
-processus de
processus
processus
est une
instance
de
conduire
objet
est un
instrument
pour
processus
objet
est une
instance
de
v�hicule de transport
objet
est un
patient
de
processus
(=>
(
and
(
instance
?TRANSPORT
Vehicle
)
(
instance
?MOVE
Translocation
)
(
instrument
?MOVE ?TRANSPORT)
(
destination
?MOVE ?TO))
(
holdsDuring
(
BeginFn
(
WhenFn
?MOVE))
(
located
?TRANSPORT ?TO)))
Merge.kif 15992-15998
Objet
est une
instance
de
Vehicle
processus
est une
instance
de
Translocation
objet
est un
instrument
pour
processus
processus
aboutit
�
entit�
objet
est
situ
� �
entit�
pendant
le
d
�but de
temps
d'existence de
processus
(=>
(
and
(
instance
?TRANSPORT
Vehicle
)
(
instance
?MOVE
Translocation
)
(
instrument
?MOVE ?TRANSPORT)
(
origin
?MOVE ?FROM))
(
holdsDuring
(
BeginFn
(
WhenFn
?MOVE))
(
located
?TRANSPORT ?FROM)))
Merge.kif 15984-15990
Objet
est une
instance
de
Vehicle
processus
est une
instance
de
Translocation
objet
est un
instrument
pour
processus
processus
a pour
origine
objet
objet
est
situ
� �
objet
pendant
le
d
�but de
temps
d'existence de
processus
(=>
(
and
(
instance
?V
PulmonaryVein
)
(
instance
?T
Transfer
)
(
patient
?T ?B)
(
instrument
?T ?V)
(
instance
?B
Blood
))
(
exists
(?L ?H ?P)
(
and
(
instance
?L
Lung
)
(
origin
?T ?L)
(
part
?V ?P)
(
part
?L ?P)
(
part
?H ?P)
(
instance
?H
Heart
)
(
destination
?T ?H))))
Mid-level-ontology.kif 11157-11172
Objet
est une
instance
de
PulmonaryVein
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
and
objet
objet
est une
instance
de
Lung
processus
a pour
origine
objet
objet
est une
partie
de
objet
objet
est une
partie
de
objet
objet
est une
partie
de
objet
objet
est une
instance
de
Heart
processus
aboutit
�
objet
(=>
(
and
(
instance
?V
Vein
)
(
instance
?T
Transfer
)
(
patient
?T ?B)
(
instrument
?T ?V)
(
instance
?B
Blood
))
(
exists
(?H)
(
and
(
instance
?H
Heart
)
(
destination
?T ?H))))
Mid-level-ontology.kif 11125-11135
Objet
est une
instance
de
Vein
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
Heart
processus
aboutit
�
entit�
(=>
(
and
(
instance
?VISITS
Collection
)
(
instance
?PURCHASES
Collection
)
(
subCollection
?PURCHASES ?VISITS)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?VISITS)
(
instance
?MEMBER
AccessingWebPage
)))
(
forall
(?BUYING ?VISITOR ?ACCESSING ?BUYING ?PAGE)
(=>
(
and
(
instance
?VISITOR
Human
)
(
instance
?BUYING
Buying
)
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?PAGE
WebPage
)
(
member
?ACCESSING ?VISITS)
(
destination
?ACCESSING ?PAGE)
(
agent
?BUYING ?VISITOR)
(
agent
?ACCESSING ?VISITOR)
(
during
(
WhenFn
?BUYING)
(
WhenFn
?ACCESSING))
(
instrument
?BUYING ?PAGE))
(
member
?BUYING ?PURCHASES))))
(
exists
(?INTERVAL ?PURCHASE_IN_INTERVAL ?VISIT_IN_INTERVAL)
(
equal
(
SCRFn
?VISITS ?INTERVAL)
(
DivisionFn
(
CardinalityFn
(
KappaFn
?PURCHASE_IN_INTERVAL
(
and
(
member
?PURCHASE_IN_INTERVAL ?PURCHASES)
(
during
(
WhenFn
?PURCHASE_IN_INTERVAL) ?INTERVAL))))
(
CardinalityFn
(
KappaFn
?VISIT_IN_INTERVAL
(
and
(
member
?VISIT_IN_INTERVAL ?VISITS)
(
during
(
WhenFn
?PURCHASE_IN_INTERVAL) ?INTERVAL))))))))
UXExperimentalTerms.kif 3668-3704
Collection
est une
instance
de
collection
collection
est une
instance
de
collection
collection
est une
sous
-collection appartenant �
collection
physique
physique
est un
membre
de
collection
physique
est une
instance
de
AccessingWebPage
processus
AutonomousAgent
,
processus
,
processus
and
objet
AutonomousAgent
est une
instance
de
humain
processus
est une
instance
de
acheter
processus
est une
instance
de
AccessingWebPage
objet
est une
instance
de
WebPage
processus
est un
membre
de
collection
processus
aboutit
�
objet
processus
est un
agent
de
AutonomousAgent
processus
est un
agent
de
AutonomousAgent
temps
d'existence de
processus
prend place
pendant
temps
d'existence de
processus
objet
est un
instrument
pour
processus
processus
est un
membre
de
collection
interval temporel
entit�
_IN_INTERVAL and
entit�
_IN_INTERVAL
SCRFn
collection
and
interval temporel
est
instances
dans la
classe
d�crite par
entit�
_IN_INTERVAL + le nombre d'
instances
dans la
classe
d�crite par
entit�
_IN_INTERVAL
(=>
(
and
(
instance
?W
Wagon
)
(
instance
?T
Transportation
)
(
instrument
?T ?W))
(
exists
(?P)
(
and
(
instance
?T
Pulling
)
(
agent
?T ?P)
(
patient
?T ?W)
(
or
(
instance
?P
DomesticAnimal
)
(
instance
?P
Vehicle
)))))
Transportation.kif 1852-1864
Objet
est une
instance
de
Wagon
processus
est une
instance
de
transporter
objet
est un
instrument
pour
processus
AutonomousAgent
processus
est une
instance
de
Pulling
processus
est un
agent
de
AutonomousAgent
objet
est un
patient
de
processus
AutonomousAgent
est une
instance
de
DomesticAnimal
AutonomousAgent
est une
instance
de
Vehicle
(=>
(
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
?WEAPON
WeaponOfMassDestruction
)
(
instrument
?ATTACK ?WEAPON)
(
instance
?ATTACK
BiochemicalAttack
))
(
instance
?WEAPON
BiochemicalWeapon
))
WMD.kif 44-49
Objet
est une
instance
de
WeaponOfMassDestruction
objet
est un
instrument
pour
processus
processus
est une
instance
de
BiochemicalAttack
objet
est une
instance
de
BiochemicalWeapon
(=>
(
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
Photocopier
)
(
instrument
?COPY ?X)
(
instance
?COPY
Photocopying
)
(
patient
?COPY ?OBJ1)
(
instance
?OBJ1
TwoDimensionalObject
)
(
instance
?OBJ1
VisualContentBearingObject
)
(
containsInformation
?OBJ1 ?INFO))
(
exists
(?OBJ2 ?SHEET)
(
and
(
result
?COPY ?OBJ2)
(
instance
?OBJ2
TwoDimensionalObject
)
(
instance
?OBJ2
VisualContentBearingObject
)
(
containsInformation
?OBJ2 ?INFO)
(
located
?OBJ2 ?SHEET)
(
instance
?SHEET
PrintedSheet
))))
Mid-level-ontology.kif 26299-26315
Objet
est une
instance
de
Photocopier
objet
est un
instrument
pour
processus
processus
est une
instance
de
Photocopying
ContentBearingPhysical
est un
patient
de
processus
ContentBearingPhysical
est une
instance
de
TwoDimensionalObject
ContentBearingPhysical
est une
instance
de
VisualContentBearingObject
ContentBearingPhysical
contient
information
proposition
ContentBearingPhysical
objet
ContentBearingPhysical
est le
resultat
de
processus
ContentBearingPhysical
est une
instance
de
TwoDimensionalObject
ContentBearingPhysical
est une
instance
de
VisualContentBearingObject
ContentBearingPhysical
contient
information
proposition
ContentBearingPhysical
est
situ
� �
objet
objet
est une
instance
de
PrintedSheet
(=>
(
and
(
muscleInsertion
?MC ?BPC)
(
instance
?H
Human
)
(
holdsDuring
?T
(
attribute
?H
StandardAnatomicalPosition
))
(
attribute
?H
Healthy
)
(
instance
?C
MuscularContraction
)
(
during
(
WhenFn
?C) ?T)
(
instance
?M ?MC)
(
part
?M ?H)
(
instrument
?C ?M)
(
physicalEnd
?E ?M)
(
meetsSpatially
?E ?BP)
(
holdsDuring
(
BeginFn
?C)
(
located
?E ?L)))
(
holdsDuring
(
EndFn
?C)
(
not
(
located
?E ?L))))
Anatomy.kif 1758-1780
muscleInsertion
muscle
and
partie du corps
objet
est une
instance
de
humain
StandardAnatomicalPosition
est un
attribut
de
objet
pendant
interval temporel
Healthy
est un
attribut
de
objet
interval temporel
est une
instance
de
MuscularContraction
temps
d'existence de
interval temporel
prend place
pendant
interval temporel
objet
est une
instance
de
muscle
objet
est une
partie
de
objet
objet
est un
instrument
pour
interval temporel
physicalEnd
objet
and
objet
objet
rencontre
objet
objet
est
situ
� �
entit�
pendant
le
d
�but de
interval temporel
objet
est
situ
� �
entit�
pendant
la
fin
de
interval temporel
(=>
(
and
(
muscleOrigin
?MC ?BPC)
(
instance
?H
Human
)
(
holdsDuring
?T
(
attribute
?H
StandardAnatomicalPosition
))
(
attribute
?H
Healthy
)
(
instance
?C
MuscularContraction
)
(
during
(
WhenFn
?C) ?T)
(
instance
?M ?MC)
(
part
?M ?H)
(
instrument
?C ?M)
(
physicalEnd
?E ?M)
(
meetsSpatially
?E ?BP)
(
holdsDuring
(
BeginFn
?C)
(
located
?E ?L)))
(
holdsDuring
(
EndFn
?C)
(
located
?E ?L)))
Anatomy.kif 1708-1729
muscleOrigin
muscle
and
partie du corps
objet
est une
instance
de
humain
StandardAnatomicalPosition
est un
attribut
de
objet
pendant
interval temporel
Healthy
est un
attribut
de
objet
interval temporel
est une
instance
de
MuscularContraction
temps
d'existence de
interval temporel
prend place
pendant
interval temporel
objet
est une
instance
de
muscle
objet
est une
partie
de
objet
objet
est un
instrument
pour
interval temporel
physicalEnd
objet
and
objet
objet
rencontre
objet
objet
est
situ
� �
entit�
pendant
le
d
�but de
interval temporel
objet
est
situ
� �
entit�
pendant
la
fin
de
interval temporel
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