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
If
a process
is an
instance
of
mounting
and
an agent
is an
agent
of
the process
and
an entity
is a
patient
of
the process
,
then
the agent
is not
on
to
the entity
holds
during
the
beginning
of the
time
of existence of
the process
and
the agent
is
on
to
the entity
holds
during
the
end
of the
time
of existence of
the process
(=>
(
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 16304-16323
If
a process
is an
instance
of
organizational merging
and
an entity
is a
patient
of
the process
and
another entity
is a
patient
of
the process
and
the entity
is not
equal
to
the other entity
,
then there doesn't exist
a third entity
such that
the entity
is a part of the organization
the third entity
and
the other entity
is a part of the organization
the third entity
holds
during
the
beginning
of the
time
of existence of
the process
and there exists
a fourth entity
such that
the entity
is a part of the organization
the fourth entity
and
the other entity
is a part of the organization
the fourth entity
holds
during
the
end
of the
time
of existence of
the process
(=>
(
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 12144-12151
If
a process
is an
instance
of
measuring
and
an agent
is an
agent
of
the process
and
an entity
is a
patient
of
the process
,
then there exist
another entity
and
a third entity
such that
the agent
know
s the
measure
of
the entity
is
the other entity
the third entity
(s) holds
during
the
end
of the
time
of existence of
the process
(=>
(
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 13934-13942
If
a process
is an
instance
of
melting
and
an object
is a
patient
of
the process
,
then there exists
another object
such that
the other object
is a
part
of
the object
and
solid
is an
attribute
of
the other object
holds
during
the
beginning
of the
time
of existence of
the process
and
liquid
is an
attribute
of
the other object
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?MOTION
Motion
)
(
moves
?MOTION ?OBJ)
(
destination
?MOTION ?PLACE))
(
holdsDuring
(
EndFn
(
WhenFn
?MOTION))
(
located
?OBJ ?PLACE)))
Merge.kif 11074-11079
If
a motion
is an
instance
of
motion
and
an object
moves during
the motion
and
the motion
end
s up at
an entity
,
then
the object
is
located
at
the entity
holds
during
the
end
of the
time
of existence of
the motion
(=>
(
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 18058-18066
If
a process
is an
instance
of
moving
and
an agent
is an
agent
of
the process
,
then there exist
an entity
and
another entity
such that the
home
of
the agent
is
the entity
holds
during
the
beginning
of the
time
of existence of
the process
and the
home
of
the agent
is
the other entity
holds
during
the
end
of the
time
of existence of
the process
and
the entity
is not
equal
to
the other entity
(=>
(
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 19582-19594
If
a process
is an
instance
of
oxidating
and
an entity
is a
patient
of
the process
and
a real number
is an
electron
number of
the entity
holds
during
the
beginning
of the
time
of existence of
the process
,
then there exists
another real number
such that
the other real number
is
less
than
the real number
and
the other real number
is an
electron
number of
the entity
holds
during
the
end
of the
time
of existence of
the process
(=>
(
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
If
a process
is an
instance
of
maximizing graphical window
and
an entity
is a
patient
of
the process
and
the entity
is an
instance
of
interface window
,
then
the entity
has
state
GUE maximized window state
holds
during
the
end
of the
time
of existence of
the process
and not
the entity
has
state
GUE maximized window state
holds
during
the
beginning
of the
time
of existence of
the process
(=>
(
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
If
a process
is an
instance
of
minimizing graphical window
and
an entity
is a
patient
of
the process
and
the entity
is an
instance
of
interface window
,
then
the entity
has
state
GUE minimized state
holds
during
the
end
of the
time
of existence of
the process
and not
the entity
has
state
GUE minimized state
holds
during
the
beginning
of the
time
of existence of
the process
(=>
(
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
If
a process
is an
instance
of
reopening graphical window
and
an entity
is a
patient
of
the process
and
the entity
is an
instance
of
interface window
,
then
the entity
has
state
GUE minimized state
holds
during
the
beginning
of the
time
of existence of
the process
and not
the entity
has
state
GUE minimized state
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?P
Roughening
)
(
patient
?P ?OBJ))
(
exists
(?PART)
(
and
(
superficialPart
?PART ?OBJ)
(
holdsDuring
(
EndFn
(
WhenFn
?P))
(
attribute
?PART
Rough
)))))
Mid-level-ontology.kif 25235-25244
If
a process
is an
instance
of
roughening
and
an object
is a
patient
of
the process
,
then there exists
the process
ART such that
the process
ART is a
superficial
part of
the object
and
rough
is an
attribute
of
the process
ART holds
during
the
end
of the
time
of existence of
the process
(=>
(
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
If
a process
is an
instance
of
turning off device
and
an entity
is a
patient
of
the process
,
then
device on
is an
attribute
of
the entity
holds
during
the
beginning
of the
time
of existence of
the process
and
device off
is an
attribute
of
the entity
holds
during
the
end
of the
time
of existence of
the process
(=>
(
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
If
a process
is an
instance
of
turning on device
and
an entity
is a
patient
of
the process
,
then
device off
is an
attribute
of
the entity
holds
during
the
beginning
of the
time
of existence of
the process
and
device on
is an
attribute
of
the entity
holds
during
the
end
of the
time
of existence of
the process
(=>
(
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 13825-13831
If
a process
is an
instance
of
passingA bill
and
an entity
is a
patient
of
the process
,
then
legislative bill
is an
attribute
of
the entity
holds
during
the
beginning
of the
time
of existence of
the process
and
law
is an
attribute
of
the entity
holds
during
the
end
of the
time
of existence of
the process
(=>
(
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
If
a proposition
is an
instance
of
plan
and
a physical
is an
instance
of
process
and
the proposition
express
es
the physical
,
then there exist
the proposition
NING and
a content bearing physical
such that
the proposition
NING is an
instance
of
planning
and
the content bearing physical
is an
instance
of
content bearing physical
and
the content bearing physical
contain
s information
the proposition
and
the content bearing physical
is a
result
of
the proposition
NING and the
beginning
of the
time
of existence of
the proposition
NING happens
earlier
than the
beginning
of the
time
of existence of
the physical
and the
end
of the
time
of existence of
the proposition
NING happens
earlier
than the
end
of the
time
of existence of
the physical
(=>
(
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 8442-8450
If
a time point
is an
instance
of
time point
and
another time point
is an
instance
of
time point
and
a time interval
is an
instance
of
time interval
and
interval
between
the time point
and
the other time point
is
equal
to
the time interval
,
then the
beginning
of
the time interval
is
equal
to
the time point
and the
end
of
the time interval
is
equal
to
the other time point
(=>
(
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 13778-13789
If
a process
is an
instance
of
state change
and
an object
is a
patient
of
the process
,
then there exist
another object
,
an entity
and
another entity
such that
the other object
is a
part
of
the object
and
the entity
is an
instance
of
physical state
and
the other entity
is an
instance
of
physical state
and
the entity
is not
equal
to
the other entity
and
the entity
is an
attribute
of
the other object
holds
during
the
beginning
of the
time
of existence of
the process
and
the other entity
is an
attribute
of
the other object
holds
during
the
end
of the
time
of existence of
the process
(=>
(
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 11427-11434
If
a process
is an
instance
of
putting
and
the process
end
s up at
an entity
and
another entity
is a
patient
of
the process
,
then
the other entity
is not
located
at
the entity
holds
during
the
beginning
of the
time
of existence of
the process
and
the other entity
is
located
at
the entity
holds
during
the
end
of the
time
of existence of
the process
(=>
(
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 19564-19576
If
a process
is an
instance
of
chemical reduction
and
an entity
is a
patient
of
the process
and
a real number
is an
electron
number of
the entity
holds
during
the
beginning
of the
time
of existence of
the process
,
then there exists
another real number
such that
the other real number
is
greater
than
the real number
and
the other real number
is an
electron
number of
the entity
holds
during
the
end
of the
time
of existence of
the process
(=>
(
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 13887-13899
If
a process
is an
instance
of
political revolution
and
an entity
is a
patient
of
the process
,
then there exist
another entity
and
a third entity
such that
the other entity
is
equal
to the
government
of
the entity
holds
during
the
beginning
of the
time
of existence of
the process
and
the third entity
is
equal
to the
government
of
the entity
holds
during
the
end
of the
time
of existence of
the process
and
the other entity
is not
equal
to
the third entity
(=>
(
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 6251-6264
If
a process
is an
instance
of
recovering from illness
and
an agent
experience
s
the process
,
then there exists
a physical
such that
the physical
is an
instance
of
disease or syndrome
and
the physical
is an
attribute
of
the agent
holds
during
the
beginning
of the
time
of existence of
the physical
and
the physical
is not an
attribute
of
the agent
holds
during
the
end
of the
time
of existence of
the physical
(=>
(
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 17444-17455
If
a process
is an
instance
of
rotating
and
an entity
is a
patient
of
the process
,
then there exists
another entity
such that
the entity
is
located
at
the other entity
holds
during
the
beginning
of the
time
of existence of
the process
and
the entity
is
located
at
the other entity
holds
during
the
end
of the
time
of existence of
the process
(=>
(
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 11546-11553
If
a physical
is an
instance
of
releasing
and
an agent
is an
agent
of
a process
and
an entity
is a
patient
of
the process
,
then
the agent
grasp
s
the entity
holds
during
the
beginning
of the
time
of existence of
the physical
and
the agent
doesn't
grasp
the entity
holds
during
the
end
of the
time
of existence of
the physical
(=>
(
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 12469-12476
If
a physical
is an
instance
of
ungrasping
and
an agent
is an
agent
of
a process
and
an entity
is a
patient
of
the process
,
then
the agent
grasp
s
the entity
holds
during
the
beginning
of the
time
of existence of
the physical
and
the agent
doesn't
grasp
the entity
holds
during
the
end
of the
time
of existence of
the physical
(=>
(
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 11406-11413
If
a process
is an
instance
of
removing
and
the process
originate
s at
an object
and
an entity
is a
patient
of
the process
,
then
the entity
is
located
at
the object
holds
during
the
beginning
of the
time
of existence of
the process
and
the entity
is not
located
at
the object
holds
during
the
end
of the
time
of existence of
the process
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