EndFn
(=>
(
and
(
instance
?BLEED
Bleeding
)
(
experiencer
?BLEED ?ANIMAL))
(
exists
(?BLOOD)
(
and
(
instance
?BLOOD
Blood
)
(
holdsDuring
(
BeginFn
(
WhenFn
?BLEED))
(
part
?BLOOD ?ANIMAL))
(
holdsDuring
(
EndFn
(
WhenFn
?BLEED))
(
not
(
part
?BLOOD ?ANIMAL))))))
Mid-level-ontology.kif 19055-19063
If
a process
is an
instance
of
bleeding
and
an agent
experience
s
the process
,
then there exists
an entity
such that
the entity
is an
instance
of
blood
and
the entity
is a
part
of
the agent
holds
during
the
beginning
of the
time
of existence of
the process
and
the entity
is not a
part
of
the agent
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?BOIL
Boiling
)
(
patient
?BOIL ?OBJ))
(
exists
(?PART)
(
and
(
part
?PART ?OBJ)
(
holdsDuring
(
BeginFn
(
WhenFn
?BOIL))
(
attribute
?PART
Liquid
))
(
holdsDuring
(
EndFn
(
WhenFn
?BOIL))
(
attribute
?PART
Gas
)))))
Merge.kif 12892-12900
If
a process
is an
instance
of
boiling
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
liquid
is an
attribute
of
the other object
holds
during
the
beginning
of the
time
of existence of
the process
and
gas
is an
attribute
of
the other object
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?C
CausingHappiness
)
(
patient
?C ?P))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?C))
(
not
(
attribute
?P
Happiness
)))
(
holdsDuring
(
EndFn
(
WhenFn
?C))
(
attribute
?P
Happiness
))))
Mid-level-ontology.kif 21709-21720
If
a process
is an
instance
of
causing happiness
and
an entity
is a
patient
of
the process
,
then
happiness
is not an
attribute
of
the entity
holds
during
the
beginning
of the
time
of existence of
the process
and
happiness
is an
attribute
of
the entity
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?C
CausingHappiness
)
(
patient
?C ?P))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?C))
(
not
(
attribute
?P
Unhappiness
)))
(
holdsDuring
(
EndFn
(
WhenFn
?C))
(
attribute
?P
Unhappiness
))))
Mid-level-ontology.kif 21729-21740
If
a process
is an
instance
of
causing happiness
and
an entity
is a
patient
of
the process
,
then
unhappiness
is not an
attribute
of
the entity
holds
during
the
beginning
of the
time
of existence of
the process
and
unhappiness
is an
attribute
of
the entity
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?CATCH
Catching
)
(
agent
?CATCH ?AGENT)
(
patient
?CATCH ?BALL))
(
holdsDuring
(
EndFn
(
WhenFn
?CATCH))
(
grasps
?AGENT ?BALL)))
Mid-level-ontology.kif 14666-14671
If
a process
is an
instance
of
catching
and
an agent
is an
agent
of
the process
and
an entity
is a
patient
of
the process
,
then
the agent
は
the entity
を
grasp
s %n{ない} holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?CHANGE
ChangeOfPossession
)
(
origin
?CHANGE ?AGENT1)
(
destination
?CHANGE ?AGENT2)
(
instance
?AGENT1
Agent
)
(
instance
?AGENT2
Agent
)
(
patient
?CHANGE ?OBJ))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?CHANGE))
(
possesses
?AGENT1 ?OBJ))
(
holdsDuring
(
EndFn
(
WhenFn
?CHANGE))
(
possesses
?AGENT2 ?OBJ))))
Merge.kif 10846-10856
If
a process
is an
instance
of
change of possession
and
the process
originate
s at
an object
and
the process
end
s up at
an entity
and
the object
is an
instance
of
agent
and
the entity
is an
instance
of
agent
and
another entity
is a
patient
of
the process
,
then
the object
possess
es
the other entity
holds
during
the
beginning
of the
time
of existence of
the process
and
the entity
possess
es
the other entity
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?CHANGE
InternalChange
)
(
patient
?CHANGE ?OBJ))
(
exists
(?PROPERTY)
(
or
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?CHANGE))
(
attribute
?OBJ ?PROPERTY))
(
holdsDuring
(
EndFn
(
WhenFn
?CHANGE))
(
not
(
attribute
?OBJ ?PROPERTY))))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?CHANGE))
(
not
(
attribute
?OBJ ?PROPERTY)))
(
holdsDuring
(
EndFn
(
WhenFn
?CHANGE))
(
attribute
?OBJ ?PROPERTY))))))
Merge.kif 11642-11653
If
a process
is an
instance
of
internal change
and
an entity
is a
patient
of
the process
,
then there exists
another entity
such that
the other entity
is an
attribute
of
the entity
holds
during
the
beginning
of the
time
of existence of
the process
and
the other entity
is not an
attribute
of
the entity
holds
during
the
end
of the
time
of existence of
the process
or
the other entity
is not an
attribute
of
the entity
holds
during
the
beginning
of the
time
of existence of
the process
and
the other entity
is an
attribute
of
the entity
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?CLOSE
ClosingGraphicalWindow
)
(
patient
?CLOSE ?WINDOW))
(
and
(
instance
?WINDOW
InterfaceWindow
)
(
time
?WINDOW
(
BeginFn
(
WhenFn
?OPEN)))
(
not
(
time
?WINDOW
(
EndFn
(
WhenFn
?OPEN))))))
ComputerInput.kif 2453-2460
If
a process
is an
instance
of
ClosingGraphicalWindow
and
a physical
is a
patient
of
the process
,
then
the physical
is an
instance
of
InterfaceWindow
and
the physical
exists
during
the
beginning
of the
time
of existence of
another physical
and
the physical
doesn't exist
during
the
end
of the
time
of existence of
the other physical
(=>
(
and
(
instance
?COLORING
Coloring
)
(
patient
?COLORING ?OBJ))
(
exists
(?PROPERTY ?PART)
(
and
(
part
?PART ?OBJ)
(
instance
?PROPERTY
ColorAttribute
)
(
or
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?COLORING))
(
attribute
?PART ?PROPERTY))
(
holdsDuring
(
EndFn
(
WhenFn
?COLORING))
(
not
(
attribute
?PART ?PROPERTY))))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?COLORING))
(
not
(
attribute
?PART ?PROPERTY)))
(
holdsDuring
(
EndFn
(
WhenFn
?COLORING))
(
attribute
?PART ?PROPERTY)))))))
Merge.kif 11679-11693
If
a process
is an
instance
of
coloring
and
an object
is a
patient
of
the process
,
then there exist
an entity
and
another object
such that
the other object
is a
part
of
the object
and
the entity
is an
instance
of
color attribute
and
the entity
is an
attribute
of
the other object
holds
during
the
beginning
of the
time
of existence of
the process
and
the entity
is not an
attribute
of
the other object
holds
during
the
end
of the
time
of existence of
the process
or
the entity
is not an
attribute
of
the other object
holds
during
the
beginning
of the
time
of existence of
the process
and
the entity
is an
attribute
of
the other object
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?COND
Condensing
)
(
patient
?COND ?OBJ))
(
exists
(?PART)
(
and
(
part
?PART ?OBJ)
(
holdsDuring
(
BeginFn
(
WhenFn
?COND))
(
attribute
?PART
Gas
))
(
holdsDuring
(
EndFn
(
WhenFn
?COND))
(
attribute
?PART
Liquid
)))))
Merge.kif 12931-12939
If
a process
is an
instance
of
condensing
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
gas
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
?COOL
Cooling
)
(
patient
?COOL ?OBJ))
(
exists
(?UNIT ?QUANT1 ?QUANT2)
(
and
(
instance
?UNIT
TemperatureMeasure
)
(
holdsDuring
(
BeginFn
(
WhenFn
?COOL))
(
equal
(
MeasureFn
?OBJ ?UNIT) ?QUANT1))
(
holdsDuring
(
EndFn
(
WhenFn
?COOL))
(
equal
(
MeasureFn
?OBJ ?UNIT) ?QUANT2))
(
lessThan
?QUANT2 ?QUANT1))))
Merge.kif 10198-10211
If
a process
is an
instance
of
cooling
and
an entity
is a
patient
of
the process
,
then there exist
another entity
,
a quantity
and
another quantity
such that
the other entity
is an
instance
of
temperature measure
and
the entity
the other entity
(s) is
equal
to
the quantity
holds
during
the
beginning
of the
time
of existence of
the process
and
the entity
the other entity
(s) is
equal
to
the other quantity
holds
during
the
end
of the
time
of existence of
the process
and
the other quantity
is
less
than
the quantity
(=>
(
and
(
instance
?COVERING
CoveringGUIElement
)
(
agent
?COVERING ?GUIE_TOP)
(
patient
?COVERING ?GUIE_BOTTOM)
(
instance
?GUIE_TOP
GUIElement
)
(
instance
?GUIE_BOTTOM
GUIElement
))
(
holdsDuring
(
EndFn
?COVERING)
(
or
(
guiElementCoveredBy
?GUIE_BOTTOM ?GUIE_TOP)
(
guiElementPartiallyCoveredBy
?GUIE_BOTTOM ?GUIE_TOP))))
ComputerInput.kif 2611-2621
If
a time interval
is an
instance
of
CoveringGUIElement
and
an entity
_TOP is an
agent
of
the time interval
and
the entity
_BOTTOM is a
patient
of
the time interval
and
the entity
_TOP is an
instance
of
GUIElement
and
the entity
_BOTTOM is an
instance
of
GUIElement
,
then
the entity
_BOTTOM is
covered
by
the entity
_TOP or
the entity
_BOTTOM is
partially
covered
by
the entity
_TOP holds
during
the
end
of
the time interval
(=>
(
and
(
instance
?COVERING
PartiallyCoveringGraphicalWindow
)
(
agent
?COVERING ?GUIE_TOP)
(
patient
?COVERING ?GUIE_BOTTOM)
(
instance
?GUIE_TOP
GUIElement
)
(
instance
?GUIE_BOTTOM
GUIElement
))
(
holdsDuring
(
EndFn
?COVERING)
(
guiElementPartiallyCoveredBy
?GUIE_BOTTOM ?GUIE_TOP)))
ComputerInput.kif 2623-2631
If
a time interval
is an
instance
of
PartiallyCoveringGraphicalWindow
and
an entity
_TOP is an
agent
of
the time interval
and
the entity
_BOTTOM is a
patient
of
the time interval
and
the entity
_TOP is an
instance
of
GUIElement
and
the entity
_BOTTOM is an
instance
of
GUIElement
,
then
the entity
_BOTTOM is
partially
covered
by
the entity
_TOP holds
during
the
end
of
the time interval
(=>
(
and
(
instance
?D
Decelerating
)
(
agent
?D ?A))
(
exists
(?L1 ?L2 ?T1 ?T2)
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?D))
(
measure
?A
(
SpeedFn
?L1 ?T1)))
(
holdsDuring
(
EndFn
(
WhenFn
?D))
(
measure
?A
(
SpeedFn
?L2 ?T2)))
(
or
(
greaterThan
?L1 ?L2)
(
greaterThan
?T1 ?T2)))))
Mid-level-ontology.kif 14744-14758
If
a process
is an
instance
of
decelerating
and
an agent
is an
agent
of
the process
,
then there exist
a quantity
,
another quantity
,, ,
a third quantity
and
a fourth quantity
such that the
measure
of
the agent
is
the quantity
per
the third quantity
holds
during
the
beginning
of the
time
of existence of
the process
and the
measure
of
the agent
is
the other quantity
per
the fourth quantity
holds
during
the
end
of the
time
of existence of
the process
and
the quantity
is
greater
than
the other quantity
or
the third quantity
is
greater
than
the fourth quantity
(=>
(
and
(
instance
?D
Dismounting
)
(
agent
?D ?A)
(
patient
?D ?O))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?D))
(
orientation
?A ?O
On
))
(
holdsDuring
(
EndFn
(
WhenFn
?D))
(
not
(
orientation
?A ?O
On
)))))
Mid-level-ontology.kif 17761-17773
If
a process
is an
instance
of
dismounting
and
an agent
is an
agent
of
the process
and
an entity
is a
patient
of
the process
,
then
the agent
is
on
to
the entity
holds
during
the
beginning
of the
time
of existence of
the process
and
the agent
is not
on
to
the entity
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?DECREASE
Decreasing
)
(
patient
?DECREASE ?OBJ))
(
exists
(?UNIT ?QUANT1 ?QUANT2)
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?DECREASE))
(
equal
(
MeasureFn
?OBJ ?UNIT) ?QUANT1))
(
holdsDuring
(
EndFn
(
WhenFn
?DECREASE))
(
equal
(
MeasureFn
?OBJ ?UNIT) ?QUANT2))
(
lessThan
?QUANT2 ?QUANT1))))
Merge.kif 10178-10191
If
a process
is an
instance
of
decreasing
and
an entity
is a
patient
of
the process
,
then there exist
another entity
,
a quantity
and
another quantity
such that
the entity
the other entity
(s) is
equal
to
the quantity
holds
during
the
beginning
of the
time
of existence of
the process
and
the entity
the other entity
(s) is
equal
to
the other quantity
holds
during
the
end
of the
time
of existence of
the process
and
the other quantity
is
less
than
the quantity
(=>
(
and
(
instance
?DEPOSITION
Deposition
)
(
patient
?DEPOSITION ?OBJ))
(
exists
(?PART)
(
and
(
part
?PART ?OBJ)
(
holdsDuring
(
BeginFn
(
WhenFn
?DEPOSITION))
(
attribute
?PART
Gas
))
(
holdsDuring
(
EndFn
(
WhenFn
?DEPOSITION))
(
attribute
?PART
Solid
))
(
not
(
holdsDuring
(
WhenFn
?DEPOSITION)
(
attribute
?PART
Liquid
))))))
Geography.kif 6335-6352
If
a process
is an
instance
of
deposition
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
gas
is an
attribute
of
the other object
holds
during
the
beginning
of the
time
of existence of
the process
and
solid
is an
attribute
of
the other object
holds
during
the
end
of the
time
of existence of
the process
and
liquid
is an
attribute
of
the other object
doesn't hold
during
the
time
of existence of
the process
(=>
(
and
(
instance
?DESERTIFICATION
Desertification
)
(
eventLocated
?DESERTIFICATION ?AREA))
(
exists
(?A1 ?A2)
(
and
(
instance
?A1
ArableLand
)
(
instance
?A2
Desert
)
(
holdsDuring
(
BeginFn
(
WhenFn
?DESERTIFICATION))
(
overlapsSpatially
?AREA ?A1))
(
holdsDuring
(
EndFn
(
WhenFn
?DESERTIFICATION))
(
overlapsSpatially
?AREA ?A2)))))
Weather.kif 1008-1021
If
a process
is an
instance
of
desertification
and
the process
is
located
at
2
,
then there exist
an entity
and
another entity
such that
the entity
is an
instance
of
arable land
and
the other entity
is an
instance
of
desert
and
overlaps spatially
a third entity
and
the entity
holds
during
the
beginning
of the
time
of existence of
the process
and
overlaps spatially
the third entity
and
the other entity
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?DETACH
Detaching
)
(
patient
?DETACH ?OBJ1)
(
patient
?DETACH ?OBJ2))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?DETACH))
(
connected
?OBJ1 ?OBJ2))
(
holdsDuring
(
EndFn
(
WhenFn
?DETACH))
(
not
(
connected
?OBJ1 ?OBJ2)))))
Merge.kif 11480-11487
If
a process
is an
instance
of
detaching
and
an entity
is a
patient
of
the process
and
another entity
is a
patient
of
the process
,
then
the entity
is
connected
to
the other entity
holds
during
the
beginning
of the
time
of existence of
the process
and
the entity
is not
connected
to
the other entity
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?DRESS
Dressing
)
(
agent
?DRESS ?AGENT)
(
patient
?DRESS ?CLOTHING))
(
and
(
instance
?CLOTHING
Clothing
)
(
holdsDuring
(
BeginFn
(
WhenFn
?DRESS))
(
not
(
wears
?AGENT ?CLOTHING)))
(
holdsDuring
(
EndFn
(
WhenFn
?DRESS))
(
wears
?AGENT ?CLOTHING))))
Mid-level-ontology.kif 5744-5759
If
a process
is an
instance
of
dressing
and
an agent
is an
agent
of
the process
and
an entity
is a
patient
of
the process
,
then
the entity
is an
instance
of
clothing
and
the agent
は % を
wear
ない holds
during
the
beginning
of the
time
of existence of
the process
and
the agent
は % を
wear
s %n{ない} holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?DRILL
Drilling
)
(
patient
?DRILL ?OBJ))
(
exists
(?HOLE)
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?DRILL))
(
not
(
hole
?HOLE ?OBJ)))
(
holdsDuring
(
EndFn
(
WhenFn
?DRILL))
(
hole
?HOLE ?OBJ)))))
Mid-level-ontology.kif 15794-15801
If
a process
is an
instance
of
drilling
and
an entity
is a
patient
of
the process
,
then there exists
another entity
such that
the other entity
is not a
hole
in
the entity
holds
during
the
beginning
of the
time
of existence of
the process
and
the other entity
is a
hole
in
the entity
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?DRY
Drying
)
(
patient
?DRY ?OBJ))
(
holdsDuring
(
EndFn
(
WhenFn
?DRY))
(
attribute
?OBJ
Dry
)))
Merge.kif 11819-11824
If
a process
is an
instance
of
drying
and
an entity
is a
patient
of
the process
,
then
dry
is an
attribute
of
the entity
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?EVAP
Evaporating
)
(
boilingPoint
?OBJ
(
MeasureFn
?BOILVAL ?MEAS))
(
measure
?OBJ
(
MeasureFn
?VAL ?MEAS))
(
instance
?MEAS
UnitOfTemperature
)
(
patient
?EVAP ?OBJ))
(
exists
(?PART)
(
and
(
part
?PART ?OBJ)
(
greaterThan
?BOILVAL ?VAL)
(
holdsDuring
(
BeginFn
(
WhenFn
?EVAP))
(
attribute
?PART
Liquid
))
(
holdsDuring
(
EndFn
(
WhenFn
?EVAP))
(
attribute
?PART
Gas
)))))
Merge.kif 12906-12918
If
a process
is an
instance
of
evaporating
and
a real number
an unit of measure
(s) is a
boiling
point of
a kind of pure substance
and the
measure
of
a kind of pure substance
is
another real number
the unit of measure
(s) and
the unit of measure
is an
instance
of
UnitOfTemperature
and
the kind of pure substance
is a
patient
of
the process
,
then there exists
an object
such that
the object
is a
part
of
the kind of pure substance
and
the real number
is
greater
than
the other real number
and
liquid
is an
attribute
of
the object
holds
during
the
beginning
of the
time
of existence of
the process
and
gas
is an
attribute
of
the object
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA
GeopoliticalArea
)
(
destination
?EXPORT ?AREA))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA)))
Economy.kif 2450-2457
If
a process
is an
instance
of
exporting
and
an entity
is a
patient
of
the process
and
another entity
is an
instance
of
geopolitical area
and
the process
end
s up at
the other entity
,
then
the entity
is
located
at
the other entity
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA
GeopoliticalArea
)
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA)))
(
exists
(?AREA2)
(
and
(
instance
?AREA2
GeopoliticalArea
)
(
not
(
geopoliticalSubdivision
?AREA1 ?AREA2))
(
not
(
geopoliticalSubdivision
?AREA2 ?AREA1))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA2)))))
Economy.kif 2435-2448
If
a process
is an
instance
of
exporting
and
an entity
is a
patient
of
the process
and
another entity
is an
instance
of
geopolitical area
and
the entity
is
located
at
the other entity
holds
during
the
beginning
of the
time
of existence of
the process
,
then there exists
the other entity
2 such that
the other entity
2 is an
instance
of
geopolitical area
and
the other entity
1 は
the other entity
2 の
geopolitical
部分では not and
the other entity
2 は
the other entity
1 の
geopolitical
部分では not and
the entity
is
located
at
the other entity
2 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 2.99c (>= 2017/11/20) is
open source software
produced by
Articulate Software
and its partners
