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 14022-14030
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 18248-18254
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 16464-16476
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 11531-11538
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 10942-10955
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 10746-10754
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 11446-11453
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 17896-17901
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 10885-10892
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 10632-10640
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 10600-10608
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 12114-12128
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 19888-19895
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 24115-24128
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 23804-23819
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 16483-16493
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 11971-11978
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 10705-10713
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 10673-10681
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 10687-10697
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 19864-19874
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 1931-1940
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