EndFn
(=>
(
and
(
instance
?FREEZE
Freezing
)
(
patient
?FREEZE ?OBJ))
(
exists
(?PART)
(
and
(
part
?PART ?OBJ)
(
holdsDuring
(
BeginFn
(
WhenFn
?FREEZE))
(
attribute
?PART
Liquid
))
(
holdsDuring
(
EndFn
(
WhenFn
?FREEZE))
(
attribute
?PART
Solid
)))))
Merge.kif 14000-14008
If
a process
is an
instance
of
freezing
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
solid
is an
attribute
of
the other object
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?FRIGHTEN
Frightening
)
(
experiencer
?FRIGHTEN ?AGENT))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?FRIGHTEN))
(
not
(
attribute
?AGENT
Anxiety
)))
(
holdsDuring
(
EndFn
(
WhenFn
?FRIGHTEN))
(
attribute
?AGENT
Anxiety
))))
Mid-level-ontology.kif 18249-18255
If
a process
is an
instance
of
frightening
and
an agent
experience
s
the process
,
then
anxiety
is not an
attribute
of
the agent
holds
during
the
beginning
of the
time
of existence of
the process
and
anxiety
is an
attribute
of
the agent
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?G
GainingConsciousness
)
(
experiencer
?G ?A))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?G))
(
attribute
?A
Unconscious
))
(
holdsDuring
(
EndFn
(
WhenFn
?G))
(
attribute
?A
Awake
))))
Mid-level-ontology.kif 16465-16477
If
a process
is an
instance
of
gaining consciousness
and
an agent
experience
s
the process
,
then
unconscious
is an
attribute
of
the agent
holds
during
the
beginning
of the
time
of existence of
the process
and
awake
is an
attribute
of
the agent
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?G
Grinding
)
(
patient
?G ?O)
(
instance
?O
CorpuscularObject
))
(
holdsDuring
(
EndFn
(
WhenFn
?G))
(
exists
(?C)
(
and
(
result
?G ?C)
(
instance
?C
Collection
)
(
forall
(?M)
(=>
(
member
?M ?C)
(
part
?M ?O)))))))
Food.kif 1012-1026
If
a process
is an
instance
of
grinding
and
an entity
is a
patient
of
the process
and
the entity
is an
instance
of
corpuscular object
,
then there exists
another entity
such that
the other entity
is a
result
of
the process
and
the other entity
is an
instance
of
collection
and for all
a third entity
if
the third entity
is a
member
of
the other entity
,
then
the third entity
is a
part
of
the entity
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?GRAB
Grabbing
)
(
agent
?GRAB ?AGENT)
(
patient
?GRAB ?THING))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?GRAB))
(
not
(
grasps
?AGENT ?THING)))
(
holdsDuring
(
EndFn
(
WhenFn
?GRAB))
(
grasps
?AGENT ?THING))))
Merge.kif 11509-11516
If
a process
is an
instance
of
grabbing
and
an agent
is an
agent
of
the process
and
an entity
is a
patient
of
the process
,
then
the agent
doesn't
grasp
the entity
holds
during
the
beginning
of the
time
of existence of
the process
and
the agent
grasp
s
the entity
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?HEAT
Heating
)
(
patient
?HEAT ?OBJ))
(
exists
(?UNIT ?QUANT1 ?QUANT2)
(
and
(
instance
?UNIT
TemperatureMeasure
)
(
holdsDuring
(
BeginFn
(
WhenFn
?HEAT))
(
equal
(
MeasureFn
?OBJ ?UNIT) ?QUANT1))
(
holdsDuring
(
EndFn
(
WhenFn
?HEAT))
(
equal
(
MeasureFn
?OBJ ?UNIT) ?QUANT2))
(
greaterThan
?QUANT2 ?QUANT1))))
Merge.kif 10920-10933
If
a process
is an
instance
of
heating
and
an entity
is a
patient
of
the process
,
then there exist
another entity
,
a real number
and
another real number
such that
the other entity
is an
instance
of
temperature measure
and
the entity
the other entity
(s) is
equal
to
the real number
holds
during
the
beginning
of the
time
of existence of
the process
and
the entity
the other entity
(s) is
equal
to
the other real number
holds
during
the
end
of the
time
of existence of
the process
and
the other real number
is
greater
than
the real number
(=>
(
and
(
instance
?HIRE
Hiring
)
(
instance
?ORG
Organization
)
(
agent
?HIRE ?ORG)
(
patient
?HIRE ?PERSON))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?HIRE))
(
not
(
employs
?ORG ?PERSON)))
(
holdsDuring
(
EndFn
(
WhenFn
?HIRE))
(
employs
?ORG ?PERSON))))
Merge.kif 10724-10732
If
a process
is an
instance
of
hiring
and
an agent
is an
instance
of
organization
and
the agent
is an
agent
of
the process
and
an entity
is a
patient
of
the process
,
then
the agent
doesn't
employ
the entity
holds
during
the
beginning
of the
time
of existence of
the process
and
the agent
employ
s
the entity
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?INSERT
Inserting
)
(
patient
?INSERT ?OBJ1)
(
destination
?INSERT ?OBJ2))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?INSERT))
(
not
(
contains
?OBJ2 ?OBJ1)))
(
holdsDuring
(
EndFn
(
WhenFn
?INSERT))
(
contains
?OBJ2 ?OBJ1))))
Merge.kif 11424-11431
If
a process
is an
instance
of
inserting
and
an entity
is a
patient
of
the process
and
the process
end
s up at
another entity
,
then
the other entity
doesn't
contain
the entity
holds
during
the
beginning
of the
time
of existence of
the process
and
the other entity
contain
s
the entity
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?INSTALL
Installing
)
(
patient
?INSTALL ?DEVICE)
(
hasPurpose
?DEVICE ?PURPOSE))
(
holdsDuring
(
EndFn
(
WhenFn
?INSTALL))
(
truth
?PURPOSE
True
)))
Mid-level-ontology.kif 17897-17902
If
a process
is an
instance
of
installing
and
a physical
is a
patient
of
the process
and
the physical
has the purpose
a formula
,
then
the formula
is
true
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?INTERPRET
Interpreting
)
(
agent
?INTERPRET ?AGENT)
(
patient
?INTERPRET ?CONTENT)
(
instance
?CONTENT
ContentBearingObject
))
(
exists
(?PROP)
(
holdsDuring
(
EndFn
(
WhenFn
?INTERPRET))
(
believes
?AGENT
(
containsInformation
?CONTENT ?PROP)))))
Merge.kif 10863-10870
If
a process
is an
instance
of
interpreting
and
an agent
is an
agent
of
the process
and
an entity
is a
patient
of
the process
and
the entity
is an
instance
of
content bearing object
,
then there exists
another entity
such that
the agent
believe
s
the entity
contain
s information
the other entity
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?J
Jumping
)
(
agent
?J ?A))
(
holdsDuring
(
EndFn
(
WhenFn
?J))
(
not
(
attribute
?A
Standing
))))
Mid-level-ontology.kif 548-555
If
a process
is an
instance
of
jumping
and
an agent
is an
agent
of
the process
,
then
standing
is not an
attribute
of
the agent
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?JOIN
Hiring
)
(
instance
?ORG
Organization
)
(
agent
?JOIN ?ORG)
(
patient
?JOIN ?PERSON))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?JOIN))
(
not
(
member
?PERSON ?ORG)))
(
holdsDuring
(
EndFn
(
WhenFn
?JOIN))
(
member
?PERSON ?ORG))))
Merge.kif 10610-10618
If
a process
is an
instance
of
hiring
and
an agent
is an
instance
of
organization
and
the agent
is an
agent
of
the process
and
an entity
is a
patient
of
the process
,
then
the entity
is not a
member
of
the agent
holds
during
the
beginning
of the
time
of existence of
the process
and
the entity
is a
member
of
the agent
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?JOIN
JoiningAnOrganization
)
(
instance
?ORG
Organization
)
(
agent
?JOIN ?PERSON)
(
patient
?JOIN ?ORG))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?JOIN))
(
not
(
member
?PERSON ?ORG)))
(
holdsDuring
(
EndFn
(
WhenFn
?JOIN))
(
member
?PERSON ?ORG))))
Merge.kif 10578-10586
If
a process
is an
instance
of
joining an organization
and
an entity
is an
instance
of
organization
and
an agent
is an
agent
of
the process
and
the entity
is a
patient
of
the process
,
then
the agent
is not a
member
of
the entity
holds
during
the
beginning
of the
time
of existence of
the process
and
the agent
is a
member
of
the entity
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?JUDGE
Judging
)
(
agent
?JUDGE ?AGENT)
(
result
?JUDGE ?P))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?JUDGE))
(
not
(
believes
?AGENT ?P)))
(
holdsDuring
(
EndFn
(
WhenFn
?JUDGE))
(
believes
?AGENT ?P))))
Merge.kif 12092-12106
If
a process
is an
instance
of
judging
and
an agent
is an
agent
of
the process
and
an entity
is a
result
of
the process
,
then
the agent
doesn't
believe
the entity
holds
during
the
beginning
of the
time
of existence of
the process
and
the agent
believe
s
the entity
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?KB
KneelingDown
)
(
agent
?KB ?A))
(
holdsDuring
(
EndFn
(
WhenFn
?KB))
(
attribute
?A
Kneeling
)))
Mid-level-ontology.kif 19889-19896
If
a process
is an
instance
of
kneeling down
and
an agent
is an
agent
of
the process
,
then
kneeling
is an
attribute
of
the agent
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?L
LayingEggs
)
(
experiencer
?L ?A))
(
exists
(?E)
(
and
(
instance
?E
Egg
)
(
patient
?L ?E)
(
holdsDuring
(
BeginFn
(
WhenFn
?L))
(
part
?E ?A))
(
holdsDuring
(
EndFn
(
WhenFn
?L))
(
not
(
part
?E ?A))))))
Mid-level-ontology.kif 24116-24129
If
a process
is an
instance
of
laying eggs
and
an agent
experience
s
the process
,
then there exists
an entity
such that
the entity
is an
instance
of
egg
and
the entity
is a
patient
of
the process
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
?L
Lengthening
)
(
patient
?L ?O))
(
exists
(?L1 ?L2 ?U)
(
and
(
instance
?U
UnitOfLength
)
(
holdsDuring
(
BeginFn
(
WhenFn
?L))
(
length
?O
(
MeasureFn
?L1 ?U)))
(
holdsDuring
(
EndFn
(
WhenFn
?L))
(
length
?O
(
MeasureFn
?L2 ?U)))
(
greaterThan
?L2 ?L1))))
Mid-level-ontology.kif 23805-23820
If
a process
is an
instance
of
lengthening
and
an entity
is a
patient
of
the process
,
then there exist
the process
1,
the process
2 and
another entity
such that
the other entity
is an
instance
of
unit of length
and the
length
of
the entity
is
the process
1
the other entity
(s) holds
during
the
beginning
of the
time
of existence of
the process
and the
length
of
the entity
is
the process
2
the other entity
(s) holds
during
the
end
of the
time
of existence of
the process
and
the process
2 is
greater
than
the process
1
(=>
(
and
(
instance
?L
LosingConsciousness
)
(
experiencer
?L ?A))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?L))
(
attribute
?A
Awake
))
(
holdsDuring
(
EndFn
(
WhenFn
?L))
(
attribute
?A
Unconscious
))))
Mid-level-ontology.kif 16484-16494
If
a process
is an
instance
of
losing consciousness
and
an agent
experience
s
the process
,
then
awake
is an
attribute
of
the agent
holds
during
the
beginning
of the
time
of existence of
the process
and
unconscious
is an
attribute
of
the agent
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?LEARN
Learning
)
(
agent
?LEARN ?AGENT)
(
patient
?LEARN ?PROP))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?LEARN))
(
not
(
knows
?AGENT ?PROP)))
(
holdsDuring
(
EndFn
(
WhenFn
?LEARN))
(
knows
?AGENT ?PROP))))
Merge.kif 11949-11956
If
a process
is an
instance
of
learning
and
an agent
is an
agent
of
the process
and
an entity
is a
patient
of
the process
,
then
the agent
doesn't
know
the entity
holds
during
the
beginning
of the
time
of existence of
the process
and
the agent
know
s
the entity
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?LEAVE
Firing
)
(
instance
?ORG
Organization
)
(
agent
?LEAVE ?ORG)
(
patient
?LEAVE ?P))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?LEAVE))
(
member
?P ?ORG))
(
holdsDuring
(
EndFn
(
WhenFn
?LEAVE))
(
not
(
member
?P ?ORG)))))
Merge.kif 10683-10691
If
a process
is an
instance
of
firing
and
an agent
is an
instance
of
organization
and
the agent
is an
agent
of
the process
and
an entity
is a
patient
of
the process
,
then
the entity
is a
member
of
the agent
holds
during
the
beginning
of the
time
of existence of
the process
and
the entity
is not a
member
of
the agent
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?LEAVE
LeavingAnOrganization
)
(
instance
?ORG
Organization
)
(
agent
?LEAVE ?PERSON)
(
patient
?LEAVE ?ORG))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?LEAVE))
(
member
?PERSON ?ORG))
(
holdsDuring
(
EndFn
(
WhenFn
?LEAVE))
(
not
(
member
?PERSON ?ORG)))))
Merge.kif 10651-10659
If
a process
is an
instance
of
leaving an organization
and
an entity
is an
instance
of
organization
and
an agent
is an
agent
of
the process
and
the entity
is a
patient
of
the process
,
then
the agent
is a
member
of
the entity
holds
during
the
beginning
of the
time
of existence of
the process
and
the agent
is not a
member
of
the entity
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?LEAVE
Quitting
)
(
instance
?ORG
Organization
)
(
agent
?LEAVE ?PERSON)
(
patient
?LEAVE ?ORG))
(
desires
?PERSON
(
holdsDuring
(
EndFn
(
WhenFn
?LEAVE))
(
not
(
member
?PERSON ?ORG)))))
Merge.kif 10665-10675
If
a process
is an
instance
of
quitting
and
an entity
is an
instance
of
organization
and
a cognitive agent
is an
agent
of
the process
and
the entity
is a
patient
of
the process
,
then
the cognitive agent
desire
s
the cognitive agent
is not a
member
of
the entity
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?LIE
LyingDown
)
(
agent
?LIE ?AGENT))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?LIE))
(
attribute
?AGENT
Sitting
))
(
holdsDuring
(
EndFn
(
WhenFn
?LIE))
(
attribute
?AGENT
Prostrate
))))
Mid-level-ontology.kif 19865-19875
If
a process
is an
instance
of
lying down
and
an agent
is an
agent
of
the process
,
then
sitting
is an
attribute
of
the agent
holds
during
the
beginning
of the
time
of existence of
the process
and
prostrate
is an
attribute
of
the agent
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?LIST
ConsecutiveTimeIntervalList
)
(
equal
?T1
(
ListOrderFn
?LIST ?N))
(
equal
?T2
(
ListOrderFn
?LIST
(
AdditionFn
?N 1))))
(
equal
(
BeginFn
?T2)
(
EndFn
?T1)))
Weather.kif 1935-1944
If
a list
is an
instance
of
consecutive time interval list
and
a time interval
is
equal
to
an entity
element
of
the list
and
another time interval
is
equal
to (
a positive integer
and 1)th
element
of
the list
,
then the
beginning
of
the other time interval
is
equal
to the
end
of
the time interval
(=>
(
and
(
instance
?Loan
InterestOnlyLoan
)
(
agreementPeriod
?Loan ?Period)
(
principalAmount
?Loan ?Principal)
(
interestEarned
?Loan ?Interest ?Period))
(
and
(
amountDue
?Loan ?Principal
(
EndFn
?Period))
(
amountDue
?Loan ?Interest ?Date)
(
before
(
EndFn
?Date)
(
EndFn
?Period))))
FinancialOntology.kif 1615-1624
If
a financial account
is an
instance
of
interest only loan
and
a time interval
is an
agreement
period of
the financial account
and
a currency measure
is a
principal
amount of
the financial account
and
the financial account
is
interest
earned
an interest
for
the time interval
,
then
the financial account
amount
due
the currency measure
for the
end
of
the time interval
and
the financial account
amount
due
the interest
for
another time interval
and the
end
of
the other time interval
happens
before
the
end
of
the time interval
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