EndFn
(=>
(
and
(
instance
?M
Mounting
)
(
agent
?M ?A)
(
patient
?M ?O))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?M))
(
not
(
orientation
?A ?O
On
)))
(
holdsDuring
(
EndFn
(
WhenFn
?M))
(
orientation
?A ?O
On
))))
Mid-level-ontology.kif 469-480
Processus
est une
instance
de
Mounting
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
AutonomousAgent
est
On
�
entit�
pendant
le
d
�but de
temps
d'existence de
processus
AutonomousAgent
est
On
�
entit�
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?M
OrganizationalMerging
)
(
patient
?M ?ORG1)
(
patient
?M ?ORG2)
(
not
(
equal
?ORG1 ?ORG2)))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?M))
(
not
(
exists
(?S1)
(
and
(
subOrganization
?ORG1 ?S1)
(
subOrganization
?ORG2 ?S1)))))
(
holdsDuring
(
EndFn
(
WhenFn
?M))
(
exists
(?S2)
(
and
(
subOrganization
?ORG1 ?S2)
(
subOrganization
?ORG2 ?S2))))))
Mid-level-ontology.kif 16305-16324
Processus
est une
instance
de
OrganizationalMerging
entit�
est un
patient
de
processus
entit�
est un
patient
de
processus
entit�
est
entit�
entit�
entit�
est une partie de l'organization
entit�
entit�
est une partie de l'organization
entit�
pendant
le
d
�but de
temps
d'existence de
processus
entit�
entit�
est une partie de l'organization
entit�
entit�
est une partie de l'organization
entit�
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?MEAS
Measuring
)
(
agent
?MEAS ?AGENT)
(
patient
?MEAS ?OBJ))
(
exists
(?QUANT ?UNIT)
(
holdsDuring
(
EndFn
(
WhenFn
?MEAS))
(
knows
?AGENT
(
measure
?OBJ
(
MeasureFn
?QUANT ?UNIT))))))
Merge.kif 12122-12129
Processus
est une
instance
de
mesurer
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
entit�
entit�
AutonomousAgent
conna
�t la
mesure
de
entit�
est
entit�
entit�
(s)
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?MELT
Melting
)
(
patient
?MELT ?OBJ))
(
exists
(?PART)
(
and
(
part
?PART ?OBJ)
(
holdsDuring
(
BeginFn
(
WhenFn
?MELT))
(
attribute
?PART
Solid
))
(
holdsDuring
(
EndFn
(
WhenFn
?MELT))
(
attribute
?PART
Liquid
)))))
Merge.kif 13912-13920
Processus
est une
instance
de
mettre en fusion
objet
est un
patient
de
processus
objet
objet
est une
partie
de
objet
Solid
est un
attribut
de
objet
pendant
le
d
�but de
temps
d'existence de
processus
Liquid
est un
attribut
de
objet
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?MOTION
Motion
)
(
moves
?MOTION ?OBJ)
(
destination
?MOTION ?PLACE))
(
holdsDuring
(
EndFn
(
WhenFn
?MOTION))
(
located
?OBJ ?PLACE)))
Merge.kif 11052-11057
D�palcement
est une
instance
de
d�palcement
moves
d�palcement
and
objet
d�palcement
aboutit
�
entit�
objet
est
situ
� �
entit�
pendant
la
fin
de
temps
d'existence de
d�palcement
(=>
(
and
(
instance
?MOVE
MovingResidence
)
(
agent
?MOVE ?AGENT))
(
exists
(?HOME1 ?HOME2)
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?MOVE))
(
home
?AGENT ?HOME1))
(
holdsDuring
(
EndFn
(
WhenFn
?MOVE))
(
home
?AGENT ?HOME2))
(
not
(
equal
?HOME1 ?HOME2)))))
Mid-level-ontology.kif 18059-18067
Processus
est une
instance
de
MovingResidence
processus
est un
agent
de
AutonomousAgent
entit�
entit�
le
domicile
de
AutonomousAgent
est
entit�
pendant
le
d
�but de
temps
d'existence de
processus
le
domicile
de
AutonomousAgent
est
entit�
pendant
la
fin
de
temps
d'existence de
processus
entit�
est
entit�
(=>
(
and
(
instance
?O
Oxidation
)
(
patient
?O ?S)
(
holdsDuring
(
BeginFn
(
WhenFn
?O))
(
electronNumber
?S ?G)))
(
exists
(?L)
(
and
(
lessThan
?L ?G)
(
holdsDuring
(
EndFn
(
WhenFn
?O))
(
electronNumber
?S ?L)))))
Mid-level-ontology.kif 19583-19595
Processus
est une
instance
de
Oxidation
entit�
est un
patient
de
processus
electronNumber
entit�
and
nombre r�el
pendant
le
d
�but de
temps
d'existence de
processus
nombre r�el
nombre r�el
est
moins
que
nombre r�el
electronNumber
entit�
and
nombre r�el
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?OPEN
MaximizingGraphicalWindow
)
(
patient
?OPEN ?WINDOW)
(
instance
?WINDOW
InterfaceWindow
))
(
and
(
holdsDuring
(
EndFn
(
WhenFn
?OPEN))
(
hasGUEState
?WINDOW
GUE_MaximizedWindowState
))
(
holdsDuring
(
BeginFn
(
WhenFn
?OPEN))
(
not
(
hasGUEState
?WINDOW
GUE_MaximizedWindowState
)))))
ComputerInput.kif 2469-2478
Processus
est une
instance
de
MaximizingGraphicalWindow
entit�
est un
patient
de
processus
entit�
est une
instance
de
InterfaceWindow
hasGUEState
entit�
and
GUE_MaximizedWindowState
pendant
la
fin
de
temps
d'existence de
processus
hasGUEState
entit�
and
GUE_MaximizedWindowState
pendant
le
d
�but de
temps
d'existence de
processus
(=>
(
and
(
instance
?OPEN
MinimizingGraphicalWindow
)
(
patient
?OPEN ?WINDOW)
(
instance
?WINDOW
InterfaceWindow
))
(
and
(
holdsDuring
(
EndFn
(
WhenFn
?OPEN))
(
hasGUEState
?WINDOW
GUE_MinimizedState
))
(
holdsDuring
(
BeginFn
(
WhenFn
?OPEN))
(
not
(
hasGUEState
?WINDOW
GUE_MinimizedState
)))))
ComputerInput.kif 2451-2460
Processus
est une
instance
de
MinimizingGraphicalWindow
entit�
est un
patient
de
processus
entit�
est une
instance
de
InterfaceWindow
hasGUEState
entit�
and
GUE_MinimizedState
pendant
la
fin
de
temps
d'existence de
processus
hasGUEState
entit�
and
GUE_MinimizedState
pendant
le
d
�but de
temps
d'existence de
processus
(=>
(
and
(
instance
?OPEN
ReopeningGraphicalWindow
)
(
patient
?OPEN ?WINDOW)
(
instance
?WINDOW
InterfaceWindow
))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?OPEN))
(
hasGUEState
?WINDOW
GUE_MinimizedState
))
(
holdsDuring
(
EndFn
(
WhenFn
?OPEN))
(
not
(
hasGUEState
?WINDOW
GUE_MinimizedState
)))))
ComputerInput.kif 2389-2398
Processus
est une
instance
de
ReopeningGraphicalWindow
entit�
est un
patient
de
processus
entit�
est une
instance
de
InterfaceWindow
hasGUEState
entit�
and
GUE_MinimizedState
pendant
le
d
�but de
temps
d'existence de
processus
hasGUEState
entit�
and
GUE_MinimizedState
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?P
Roughening
)
(
patient
?P ?OBJ))
(
exists
(?PART)
(
and
(
superficialPart
?PART ?OBJ)
(
holdsDuring
(
EndFn
(
WhenFn
?P))
(
attribute
?PART
Rough
)))))
Mid-level-ontology.kif 25236-25245
Processus
est une
instance
de
Roughening
objet
est un
patient
de
processus
processus
ART
processus
ART est une partie
superficielle
de
objet
Rough
est un
attribut
de
processus
ART
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?P
TurningOffDevice
)
(
patient
?P ?D))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?P))
(
attribute
?D
DeviceOn
))
(
holdsDuring
(
EndFn
(
WhenFn
?P))
(
attribute
?D
DeviceOff
))))
Mid-level-ontology.kif 1071-1081
Processus
est une
instance
de
TurningOffDevice
entit�
est un
patient
de
processus
DeviceOn
est un
attribut
de
entit�
pendant
le
d
�but de
temps
d'existence de
processus
DeviceOff
est un
attribut
de
entit�
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?P
TurningOnDevice
)
(
patient
?P ?D))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?P))
(
attribute
?D
DeviceOff
))
(
holdsDuring
(
EndFn
(
WhenFn
?P))
(
attribute
?D
DeviceOn
))))
Mid-level-ontology.kif 1095-1105
Processus
est une
instance
de
TurningOnDevice
entit�
est un
patient
de
processus
DeviceOff
est un
attribut
de
entit�
pendant
le
d
�but de
temps
d'existence de
processus
DeviceOn
est un
attribut
de
entit�
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?PASS
PassingABill
)
(
patient
?PASS ?TEXT))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?PASS))
(
attribute
?TEXT
LegislativeBill
))
(
holdsDuring
(
EndFn
(
WhenFn
?PASS))
(
attribute
?TEXT
Law
))))
Mid-level-ontology.kif 13826-13832
Processus
est une
instance
de
PassingABill
entit�
est un
patient
de
processus
LegislativeBill
est un
attribut
de
entit�
pendant
le
d
�but de
temps
d'existence de
processus
Law
est un
attribut
de
entit�
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?PLAN
Plan
)
(
instance
?PROC
Process
)
(
represents
?PLAN ?PROC))
(
exists
(?PLANNING ?CBO)
(
and
(
instance
?PLANNING
Planning
)
(
instance
?CBO
ContentBearingPhysical
)
(
containsInformation
?CBO ?PLAN)
(
result
?PLANNING ?CBO)
(
earlier
(
BeginFn
(
WhenFn
?PLANNING))
(
BeginFn
(
WhenFn
?PROC)))
(
earlier
(
EndFn
(
WhenFn
?PLANNING))
(
EndFn
(
WhenFn
?PROC))))))
Military.kif 32-44
Proposition
est une
instance
de
plan
physique
est une
instance
de
processus
proposition
d
�finie
physique
proposition
NING
ContentBearingPhysical
proposition
NING est une
instance
de
planifier
ContentBearingPhysical
est une
instance
de
ContentBearingPhysical
ContentBearingPhysical
contient
information
proposition
ContentBearingPhysical
est le
resultat
de
proposition
NING le
d
�but de
temps
d'existence de
proposition
NING arrive
plus
t�t que le
d
�but de
temps
d'existence de
physique
la
fin
de
temps
d'existence de
proposition
NING arrive
plus
t�t que la
fin
de
temps
d'existence de
physique
(=>
(
and
(
instance
?POINT1
TimePoint
)
(
instance
?POINT2
TimePoint
)
(
instance
?INTERVAL
TimeInterval
)
(
equal
(
TimeIntervalFn
?POINT1 ?POINT2) ?INTERVAL))
(
and
(
equal
(
BeginFn
?INTERVAL) ?POINT1)
(
equal
(
EndFn
?INTERVAL) ?POINT2)))
Merge.kif 8420-8428
Point temporel
est une
instance
de
point temporel
point temporel
est une
instance
de
point temporel
interval temporel
est une
instance
de
interval temporel
l'
intervale
entre
point temporel
et
point temporel
est
interval temporel
le
d
�but de
interval temporel
est
point temporel
la
fin
de
interval temporel
est
point temporel
(=>
(
and
(
instance
?PROCESS
StateChange
)
(
patient
?PROCESS ?OBJ))
(
exists
(?PART ?STATE1 ?STATE2)
(
and
(
part
?PART ?OBJ)
(
instance
?STATE1
PhysicalState
)
(
instance
?STATE2
PhysicalState
)
(
not
(
equal
?STATE1 ?STATE2))
(
holdsDuring
(
BeginFn
(
WhenFn
?PROCESS))
(
attribute
?PART ?STATE1))
(
holdsDuring
(
EndFn
(
WhenFn
?PROCESS))
(
attribute
?PART ?STATE2)))))
Merge.kif 13756-13767
Processus
est une
instance
de
changement d'�tat
objet
est un
patient
de
processus
objet
entit�
and
entit�
objet
est une
partie
de
objet
entit�
est une
instance
de
�tat physique
entit�
est une
instance
de
�tat physique
entit�
est
entit�
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
?PUT
Putting
)
(
destination
?PUT ?PLACE)
(
patient
?PUT ?OBJ))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?PUT))
(
not
(
located
?OBJ ?PLACE)))
(
holdsDuring
(
EndFn
(
WhenFn
?PUT))
(
located
?OBJ ?PLACE))))
Merge.kif 11405-11412
Processus
est une
instance
de
mettre
processus
aboutit
�
entit�
entit�
est un
patient
de
processus
entit�
est
situ
� �
entit�
pendant
le
d
�but de
temps
d'existence de
processus
entit�
est
situ
� �
entit�
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?R
ChemicalReduction
)
(
patient
?R ?S)
(
holdsDuring
(
BeginFn
(
WhenFn
?R))
(
electronNumber
?S ?L)))
(
exists
(?G)
(
and
(
greaterThan
?G ?L)
(
holdsDuring
(
EndFn
(
WhenFn
?R))
(
electronNumber
?S ?G)))))
Mid-level-ontology.kif 19565-19577
Processus
est une
instance
de
ChemicalReduction
entit�
est un
patient
de
processus
electronNumber
entit�
and
nombre r�el
pendant
le
d
�but de
temps
d'existence de
processus
nombre r�el
nombre r�el
est
plus
grand
que
nombre r�el
electronNumber
entit�
and
nombre r�el
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?R
PoliticalRevolution
)
(
patient
?R ?A))
(
exists
(?GOV1 ?GOV2)
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?R))
(
equal
?GOV1
(
GovernmentFn
?A)))
(
holdsDuring
(
EndFn
(
WhenFn
?R))
(
equal
?GOV2
(
GovernmentFn
?A)))
(
not
(
equal
?GOV1 ?GOV2)))))
Mid-level-ontology.kif 13888-13900
Processus
est une
instance
de
PoliticalRevolution
entit�
est un
patient
de
processus
entit�
entit�
entit�
est
gouvernment
de
entit�
pendant
le
d
�but de
temps
d'existence de
processus
entit�
est
gouvernment
de
entit�
pendant
la
fin
de
temps
d'existence de
processus
entit�
est
entit�
(=>
(
and
(
instance
?R
RecoveringFromIllness
)
(
experiencer
?R ?A))
(
exists
(?D)
(
and
(
instance
?D
DiseaseOrSyndrome
)
(
holdsDuring
(
BeginFn
(
WhenFn
?D))
(
attribute
?A ?D))
(
holdsDuring
(
EndFn
(
WhenFn
?D))
(
not
(
attribute
?A ?D))))))
Mid-level-ontology.kif 6252-6265
Processus
est une
instance
de
RecoveringFromIllness
AutonomousAgent
exp
�rimente
processus
physique
physique
est une
instance
de
maladie ou syndrome
physique
est un
attribut
de
AutonomousAgent
pendant
le
d
�but de
temps
d'existence de
physique
physique
est un
attribut
de
AutonomousAgent
pendant
la
fin
de
temps
d'existence de
physique
(=>
(
and
(
instance
?R
Rotating
)
(
patient
?R ?A))
(
exists
(?L)
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?R))
(
located
?A ?L))
(
holdsDuring
(
EndFn
(
WhenFn
?R))
(
located
?A ?L)))))
Mid-level-ontology.kif 17445-17456
Processus
est une
instance
de
Rotating
entit�
est un
patient
de
processus
entit�
entit�
est
situ
� �
entit�
pendant
le
d
�but de
temps
d'existence de
processus
entit�
est
situ
� �
entit�
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?RELEASE
Releasing
)
(
agent
?GRAB ?AGENT)
(
patient
?GRAB ?THING))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?RELEASE))
(
grasps
?AGENT ?THING))
(
holdsDuring
(
EndFn
(
WhenFn
?RELEASE))
(
not
(
grasps
?AGENT ?THING)))))
Merge.kif 11524-11531
Physique
est une
instance
de
Releasing
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
AutonomousAgent
se
saisit
de
entit�
pendant
le
d
�but de
temps
d'existence de
physique
AutonomousAgent
ne se
saisit
%n{pas} de
entit�
pendant
la
fin
de
temps
d'existence de
physique
(=>
(
and
(
instance
?RELEASE
Ungrasping
)
(
agent
?GRAB ?AGENT)
(
patient
?GRAB ?THING))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?RELEASE))
(
grasps
?AGENT ?THING))
(
holdsDuring
(
EndFn
(
WhenFn
?RELEASE))
(
not
(
grasps
?AGENT ?THING)))))
Merge.kif 12447-12454
Physique
est une
instance
de
Ungrasping
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
AutonomousAgent
se
saisit
de
entit�
pendant
le
d
�but de
temps
d'existence de
physique
AutonomousAgent
ne se
saisit
%n{pas} de
entit�
pendant
la
fin
de
temps
d'existence de
physique
(=>
(
and
(
instance
?REMOVE
Removing
)
(
origin
?REMOVE ?PLACE)
(
patient
?REMOVE ?OBJ))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?REMOVE))
(
located
?OBJ ?PLACE))
(
holdsDuring
(
EndFn
(
WhenFn
?REMOVE))
(
not
(
located
?OBJ ?PLACE)))))
Merge.kif 11384-11391
Processus
est une
instance
de
supprimer
processus
a pour
origine
objet
entit�
est un
patient
de
processus
entit�
est
situ
� �
objet
pendant
le
d
�but de
temps
d'existence de
processus
entit�
est
situ
� �
objet
pendant
la
fin
de
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