ImmediateFutureFn
(=>
(
and
(
instance
?I
Injuring
)
(
experiencer
?I ?A))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?I))
(
attribute
?A
Injury
)))
Medicine.kif 104-111
If
a process
is an
instance
of
injuring
and
an agent
experience
s
the process
,
then
injury
is an
attribute
of
the agent
holds
during
immediately
after
the
time
of existence of
the process
(=>
(
and
(
instance
?IRRIGATION
Irrigating
)
(
patient
?IRRIGATION ?AREA)
(
instance
?AREA
LandArea
))
(
and
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?IRRIGATION))
(
attribute
?AREA
Dry
))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?IRRIGATION))
(
attribute
?AREA
Damp
))))
Geography.kif 5711-5718
If
a process
is an
instance
of
irrigating
and
an entity
is a
patient
of
the process
and
the entity
is an
instance
of
land area
,
then
dry
is an
attribute
of
the entity
holds
during
immediately
before
the
time
of existence of
the process
and
damp
is an
attribute
of
the entity
holds
during
immediately
after
the
time
of existence of
the process
(=>
(
and
(
instance
?JOIN
Hiring
)
(
instance
?ORG
Organization
)
(
agent
?JOIN ?ORG)
(
patient
?JOIN ?PERSON))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?JOIN))
(
employs
?ORG ?PERSON)))
Merge.kif 10620-10629
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
employ
s
the entity
holds
during
immediately
after
the
time
of existence of
the process
(=>
(
and
(
instance
?Kill
CancellingAnOrder
)
(
patient
?Kill ?Order))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?Kill))
(
not
(
attribute
?Order
ActiveAgreement
))))
FinancialOntology.kif 2835-2842
If
a process
is an
instance
of
cancelling an order
and
an entity
is a
patient
of
the process
,
then
active agreement
is not an
attribute
of
the entity
holds
during
immediately
after
the
time
of existence of
the process
(=>
(
and
(
instance
?Loan
CallableLoan
)
(
lender
?Loan ?Lender)
(
borrower
?Loan ?Borrower)
(
totalBalance
?Loan ?Amount)
(
instance
?Call
Call
)
(
agent
?Call ?Lender)
(
patient
?Call ?Loan))
(
holdsObligation
(
KappaFn
?Payment
(
and
(
destination
?Payment ?Lender)
(
time
?Payment
(
ImmediateFutureFn
(
WhenFn
?Call)))
(
transactionAmount
?Payment ?Amount))) ?Borrower))
FinancialOntology.kif 1428-1443
If
a loan
is an
instance
of
callable loan
and
a cognitive agent
lends
the loan
and
the loan
is the
borrower
of
another cognitive agent
and
a currency measure
is a
total
balance of
the loan
and
a process
is an
instance
of
call
and
the cognitive agent
is an
agent
of
the process
and
the loan
is a
patient
of
the process
,
then
the other cognitive agent
is
obliged
to perform tasks of type the
class
described by
a symbolic string
(=>
(
and
(
instance
?Loan
Loan
)
(
securedBy
?Loan ?Security)
(
lender
?Loan ?Bank)
(
instance
?Default
FinancialDefault
)
(
patient
?Default ?Loan))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?Default))
(
possesses
?Bank ?Security)))
FinancialOntology.kif 1334-1343
If
a loan
is an
instance
of
loan
and
a collateral
is a
secured
by of
the loan
and
a cognitive agent
lends
the loan
and
a process
is an
instance
of
financial default
and
the loan
is a
patient
of
the process
,
then
the cognitive agent
possess
es
the collateral
holds
during
immediately
after
the
time
of existence of
the process
(=>
(
and
(
instance
?MB
MeasuringBreathing
)
(
agent
?MB ?A)
(
instance
?L
Lung
)
(
part
?L ?P)
(
instance
?T
TimeInterval
)
(
during
?T
(
WhenFn
?MB))
(
duration
?T
MinuteDuration
)
(
patient
?MB ?P))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?MB))
(
exists
(?BR)
(
knows
?A
(
breathingRate
?L ?T ?BR)))))
Medicine.kif 466-482
If
a process
is an
instance
of
measuring breathing
and
an agent
is an
agent
of
the process
and
an object
is an
instance
of
lung
and
the object
is a
part
of
another object
and
a time interval
is an
instance
of
time interval
and
the time interval
takes place
during
the
time
of existence of
the process
and
duration
of
the time interval
is
minute duration
and
the other object
is a
patient
of
the process
,
then there exists
an entity
such that
the agent
know
s
the object
breathes
at a rate of
the entity
breaths per
the time interval
holds
during
immediately
after
the
time
of existence of
the process
(=>
(
and
(
instance
?MIT
BarMitzvah
)
(
patient
?MIT ?X)
(
instance
?X
Boy
)
(
member
?X ?GROUP)
(
instance
?GROUP
Judaism
)
(
birthdate
?X ?DAY)
(
instance
?DAY
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
exists
(?Y13 ?BD13)
(
and
(
instance
?Y13
Integer
)
(
equal
?Y13
(
AdditionFn
?Y 13))
(
instance
?BD13
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y13))))
(
equal
(
WhenFn
?MIT)
(
ImmediateFutureFn
?BD13)))))
Biography.kif 69-85
If
a process
is an
instance
of
BarMitzvah
and
a human
is a
patient
of
the process
and
the human
is an
instance
of
boy
and
the human
is a
member
of
a collection
and
the collection
is an
instance
of
judaism
and
a day
is a
birthdate
of
the human
and
the day
is an
instance
of the
day
a positive integer
,
then there exist
an integer
and
a time position
such that
the integer
is an
instance
of
integer
and
the integer
is
equal
to (
another integer
and 13) and
the time position
is an
instance
of the
day
the positive integer
and the
time
of existence of
the process
is
equal
to immediately
after
the time position
(=>
(
and
(
instance
?MIT
BatMitzvah
)
(
patient
?MIT ?X)
(
instance
?X
Girl
)
(
member
?X ?GROUP)
(
instance
?GROUP
Judaism
)
(
birthdate
?X ?DAY)
(
instance
?DAY
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
exists
(?Y13 ?BD13)
(
and
(
instance
?Y13
Integer
)
(
equal
?Y13
(
AdditionFn
?Y 13))
(
instance
?BD13
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y13))))
(
equal
(
WhenFn
?MIT)
(
ImmediateFutureFn
?BD13)))))
Biography.kif 99-115
If
a process
is an
instance
of
BatMitzvah
and
a human
is a
patient
of
the process
and
the human
is an
instance
of
girl
and
the human
is a
member
of
a collection
and
the collection
is an
instance
of
judaism
and
a day
is a
birthdate
of
the human
and
the day
is an
instance
of the
day
a positive integer
,
then there exist
an integer
and
a time position
such that
the integer
is an
instance
of
integer
and
the integer
is
equal
to (
another integer
and 13) and
the time position
is an
instance
of the
day
the positive integer
and the
time
of existence of
the process
is
equal
to immediately
after
the time position
(=>
(
and
(
instance
?MTP
MovingAwayFromPeople
)
(
agent
?MTP ?A))
(
exists
(?P ?U ?D1 ?D2)
(
and
(
instance
?P
Human
)
(
instance
?U
UnitOfLength
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?MTP))
(
distance
?MTP ?A
(
MeasureFn
?D1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?MTP))
(
distance
?MTP ?A
(
MeasureFn
?D2 ?U)))
(
greaterThan
?D2 ?D1))))
emotion.kif 1393-1411
If
a process
is an
instance
of
moving away from people
and
an agent
is an
agent
of
the process
,
then there exist
an entity
,
another entity
,, ,
a real number
and
another real number
such that
the entity
is an
instance
of
human
and
the other entity
is an
instance
of
unit of length
and the
distance
between
the process
and
the agent
is
the real number
the other entity
(s) holds
during
immediately
before
the
time
of existence of
the process
and the
distance
between
the process
and
the agent
is
the other real number
the other entity
(s) holds
during
immediately
after
the
time
of existence of
the process
and
the other real number
is
greater
than
the real number
(=>
(
and
(
instance
?MTP
MovingTowardsPeople
)
(
agent
?MTP ?A))
(
exists
(?P ?U ?D1 ?D2)
(
and
(
instance
?P
Human
)
(
instance
?U
UnitOfLength
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?MTP))
(
distance
?MTP ?A
(
MeasureFn
?D1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?MTP))
(
distance
?MTP ?A
(
MeasureFn
?D2 ?U)))
(
greaterThan
?D1 ?D2))))
emotion.kif 1427-1445
If
a process
is an
instance
of
moving towards people
and
an agent
is an
agent
of
the process
,
then there exist
an entity
,
another entity
,, ,
a real number
and
another real number
such that
the entity
is an
instance
of
human
and
the other entity
is an
instance
of
unit of length
and the
distance
between
the process
and
the agent
is
the real number
the other entity
(s) holds
during
immediately
before
the
time
of existence of
the process
and the
distance
between
the process
and
the agent
is
the other real number
the other entity
(s) holds
during
immediately
after
the
time
of existence of
the process
and
the real number
is
greater
than
the other real number
(=>
(
and
(
instance
?N
Nausea
)
(
experiencer
?N ?H))
(
believes
?H
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?N))
(
exists
(?V)
(
and
(
instance
?V
Vomiting
)
(
experiencer
?V ?H))))))
Mid-level-ontology.kif 21432-21443
If
a process
is an
instance
of
nausea
and
a cognitive agent
experience
s
the process
,
then
the cognitive agent
believe
s there exists
an entity
such that
the entity
is an
instance
of
vomiting
and
the cognitive agent
experience
s
the entity
holds
during
immediately
after
the
time
of existence of
the process
(=>
(
and
(
instance
?P
Pulling
)
(
origin
?P ?O)
(
agent
?P ?A)
(
holdsDuring
(
BeginFn
?P)
(
located
?A ?ALOC))
(
destination
?P ?D))
(
holdsDuring
(
ImmediateFutureFn
(
BeginFn
?P))
(
exists
(?LARGER ?U ?SMALLER)
(
and
(
distance
?ALOC ?D
(
MeasureFn
?SMALLER ?U))
(
distance
?ALOC ?O
(
MeasureFn
?LARGER ?U))
(
greaterThan
?LARGER ?SMALLER)))))
Mid-level-ontology.kif 17638-17656
If
a time interval
is an
instance
of
pulling
and
the time interval
originate
s at
an object
and
an agent
is an
agent
of
the time interval
and
the agent
is
located
at
the agent
LOC holds
during
the
beginning
of
the time interval
and
the time interval
end
s up at
another entity
,
then there exist
a third entity
,
a fourth entity
and
a fifth entity
such that the
distance
between
the agent
LOC and
the other entity
is
the fifth entity
the fourth entity
(s) and the
distance
between
the agent
LOC and
the object
is
the third entity
the fourth entity
(s) and
the third entity
is
greater
than
the fifth entity
holds
during
immediately
after
the
beginning
of
the time interval
(=>
(
and
(
instance
?P
Pushing
)
(
origin
?P ?O)
(
agent
?P ?A)
(
holdsDuring
(
BeginFn
?P)
(
located
?A ?ALOC))
(
destination
?P ?D))
(
holdsDuring
(
ImmediateFutureFn
(
BeginFn
?P))
(
exists
(?LARGER ?U ?SMALLER)
(
and
(
distance
?ALOC ?D
(
MeasureFn
?SMALLER ?U))
(
distance
?ALOC ?O
(
MeasureFn
?LARGER ?U))
(
greaterThan
?LARGER ?SMALLER)))))
Mid-level-ontology.kif 17616-17634
If
a time interval
is an
instance
of
pushing
and
the time interval
originate
s at
an object
and
an agent
is an
agent
of
the time interval
and
the agent
is
located
at
the agent
LOC holds
during
the
beginning
of
the time interval
and
the time interval
end
s up at
another entity
,
then there exist
a third entity
,
a fourth entity
and
a fifth entity
such that the
distance
between
the agent
LOC and
the other entity
is
the fifth entity
the fourth entity
(s) and the
distance
between
the agent
LOC and
the object
is
the third entity
the fourth entity
(s) and
the third entity
is
greater
than
the fifth entity
holds
during
immediately
after
the
beginning
of
the time interval
(=>
(
and
(
instance
?PROCESS
FreezingRain
)
(
patient
?PROCESS ?STUFF)
(
instance
?STUFF
Water
))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?PROCESS))
(
attribute
?STUFF
Solid
)))
Weather.kif 1091-1096
If
a process
is an
instance
of
freezing rain
and
an entity
is a
patient
of
the process
and
the entity
is an
instance
of
water
,
then
solid
is an
attribute
of
the entity
holds
during
immediately
after
the
time
of existence of
the process
(=>
(
and
(
instance
?Payment
Payment
)
(
origin
?Payment
(
CurrencyFn
?Account))
(
instance
?Account
FinancialAccount
)
(
transactionAmount
?Payment
(
MeasureFn
?Amount ?CUNIT))
(
currentAccountBalance
?Account
(
ImmediatePastFn
(
WhenFn
?Payment))
(
MeasureFn
?Balance1 ?CUNIT))
(
equal
?Balance2
(
SubtractionFn
?Balance1 ?Amount)))
(
currentAccountBalance
?Account
(
ImmediateFutureFn
(
WhenFn
?Payment))
(
MeasureFn
?Balance2 ?CUNIT)))
FinancialOntology.kif 408-424
If
a financial transaction
is an
instance
of
payment
and
the financial transaction
originate
s at the
currency
of
a financial account
and
the financial account
is an
instance
of
financial account
and
a real number
an unit of measure
(s) is a
transaction
amount of
the financial transaction
and
the financial account
current
account balance immediately
before
the
time
of existence of
the financial transaction
for
another real number
the unit of measure
(s) and
a third real number
is
equal
to (
the other real number
and
the real number
),
then
the financial account
current
account balance immediately
after
the
time
of existence of
the financial transaction
for
the third real number
the unit of measure
(s)
(=>
(
and
(
instance
?R
RelievingPain
)
(
patient
?R ?H))
(
and
(
exists
(?P1)
(
and
(
overlapsTemporally
(
WhenFn
?P1)
(
ImmediatePastFn
(
WhenFn
?R)))
(
instance
?P1
Pain
)
(
located
?P1 ?H)))
(
not
(
exists
(?P2)
(
and
(
overlapsTemporally
(
WhenFn
?P2)
(
ImmediateFutureFn
(
WhenFn
?R)))
(
instance
?P2
Pain
)
(
located
?P2 ?H))))))
Mid-level-ontology.kif 5779-5798
If
a process
is an
instance
of
relieving pain
and
an object
is a
patient
of
the process
,
then there exists
a physical
such that immediately
before
the
time
of existence of
the process
overlap
s the
time
of existence of
the physical
and
the physical
is an
instance
of
pain
and
the physical
is
located
at
the object
and there doesn't exist
another physical
such that immediately
after
the
time
of existence of
the process
overlap
s the
time
of existence of
the other physical
and
the other physical
is an
instance
of
pain
and
the other physical
is
located
at
the object
(=>
(
and
(
instance
?SINKING
LandSubsidence
)
(
patient
?SINKING ?LAND)
(
instance
?LAND
LandArea
)
(
instance
?U
UnitOfLength
)
(
elevation
?LAND
(
MeasureFn
?HEIGHT1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?SINKING))
(
exists
(?HEIGHT2)
(
and
(
elevation
?LAND
(
MeasureFn
?HEIGHT2 ?U))
(
lessThan
?HEIGHT2 ?HEIGHT1)))))
Geography.kif 6779-6792
If
a process
is an
instance
of
land subsidence
and
an object
is a
patient
of
the process
and
the object
is an
instance
of
land area
and
an unit of measure
is an
instance
of
unit of length
and
a real number
the unit of measure
(s) is an
elevation
of
the object
,
then there exists
an entity
such that
the entity
the unit of measure
(s) is an
elevation
of
the object
and
the entity
is
less
than
the real number
holds
during
immediately
after
the
time
of existence of
the process
(=>
(
and
(
instance
?V
Vaccination
)
(
experiencer
?V ?H))
(
exists
(?VAC)
(
and
(
instance
?VAC
Vaccine
)
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?V)
(
contains
?H ?VAC))))))
WMD.kif 1071-1081
If
a process
is an
instance
of
vaccination
and
an agent
experience
s
the process
,
then there exists
the process
AC such that
the process
AC is an
instance
of
vaccine
and holds
during
immediately
after
the
time
of existence of
the process
(=>
(
and
(
instance
?VCS
VentedChestSeal
)
(
instance
?A
Attaching
)
(
objectTransferred
?A ?VCS)
(
destination
?A ?H))
(
hasPurpose
?VCS
(
exists
(?A ?L ?C ?H)
(
and
(
instance
?A
Air
)
(
instance
?L
Lung
)
(
instance
?C
Chest
)
(
part
?L ?H)
(
part
?C ?H)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?A))
(
between
?L ?A ?C))
(
hasPurpose
?VCS
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?A))
(
orientation
?A ?H
Outside
)))))))
Medicine.kif 853-875
If
an object
is an
instance
of
vented chest seal
and
a transfer
is an
instance
of
attaching
and the object transferred in
the transfer
is
the object
and
the transfer
end
s up at
an entity
,
then
the object
has the purpose there exist
the transfer
,
another entity
,, ,
a third entity
and
the entity
such that
the transfer
is an
instance
of
air
and
the other entity
is an
instance
of
lung
and
the third entity
is an
instance
of
chest
and
the other entity
is a
part
of
the entity
and
the third entity
is a
part
of
the entity
and
the transfer
is
between
the other entity
and
the third entity
holds
during
immediately
before
the
time
of existence of
the transfer
and
the object
has the purpose
the transfer
is
outside
to
the entity
holds
during
immediately
after
the
time
of existence of
the transfer
(=>
(
and
(
instance
?WEARING
Erosion
)
(
instance
?LAND
LandForm
)
(
patient
?WEARING ?LAND)
(
instance
?U
UnitOfVolume
)
(
measure
?LAND
(
MeasureFn
?SIZE1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?WEARING))
(
exists
(?SIZE2)
(
and
(
measure
?LAND
(
MeasureFn
?SIZE2 ?U))
(
lessThan
?SIZE2 ?SIZE1)))))
Geography.kif 2689-2702
If
a process
is an
instance
of
erosion
and
a physical
is an
instance
of
land form
and
the physical
is a
patient
of
the process
and
an unit of measure
is an
instance
of
unit of volume
and the
measure
of
the physical
is
a real number
the unit of measure
(s),
then there exists
an entity
such that the
measure
of
the physical
is
the entity
the unit of measure
(s) and
the entity
is
less
than
the real number
holds
during
immediately
after
the
time
of existence of
the process
(=>
(
and
(
instance
?Withdrawal
Withdrawal
)
(
instance
?Account
FinancialAccount
)
(
origin
?Withdrawal ?Account)
(
transactionAmount
?Withdrawal
(
MeasureFn
?Amount ?CUNIT))
(
currentAccountBalance
?Account
(
ImmediatePastFn
(
WhenFn
?Withdrawal))
(
MeasureFn
?Balance1 ?CUNIT))
(
equal
?Balance2
(
SubtractionFn
?Balance1 ?Amount)))
(
currentAccountBalance
?Account
(
ImmediateFutureFn
(
FutureFn
?Withdrawal))
(
MeasureFn
?Balance2 ?CUNIT)))
FinancialOntology.kif 466-481
If
a financial transaction
is an
instance
of
withdrawal
and
a financial account
is an
instance
of
financial account
and
the financial transaction
originate
s at
the financial account
and
a real number
an unit of measure
(s) is a
transaction
amount of
the financial transaction
and
the financial account
current
account balance immediately
before
the
time
of existence of
the financial transaction
for
another real number
the unit of measure
(s) and
a third real number
is
equal
to (
the other real number
and
the real number
),
then
the financial account
current
account balance immediately
after
after
the financial transaction
for
the third real number
the unit of measure
(s)
(=>
(
and
(
instance
?X
ReadOnlyMemoryDataStorage
)
(
instance
?FABRICATION
Manufacture
)
(
result
?FABRICATION ?X))
(
not
(
modalAttribute
(
exists
(?WRITE1 ?DATA1 ?WRITE2)
(
and
(
or
(
instance
?WRITE2
ContentDevelopment
)
(
instance
?WRITE2
DeletingData
))
(
earlier
(
WhenFn
?FABRICATION)
(
WhenFn
?WRITE1))
(
patient
?WRITE1 ?X)
(
patient
?WRITE1 ?DATA1)
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?WRITE1))
(
stored
?DATA1 ?X))))
Possibility
)))
Media.kif 768-788
If
an entity
is an
instance
of
read only memory data storage
and
a process
is an
instance
of
manufacture
and
the entity
is a
result
of
the process
,
then the statement there exist
another entity
,
a third entity
and
a fourth entity
such that
the fourth entity
is an
instance
of
content development
or
the fourth entity
is an
instance
of
deleting data
and the
time
of existence of
the process
happens
earlier
than the
time
of existence of
the other entity
and
the entity
is a
patient
of
the other entity
and
the third entity
is a
patient
of
the other entity
and
the third entity
is
stored
on
the entity
holds
during
immediately
after
the
time
of existence of
the other entity
doesn't have the
modal
force
of
possibility
(=>
(
and
(
lifeStageAchieved
?BDE ?LST)
(
experiencer
?BDE ?OBJ))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?BDE))
(
instance
?OBJ ?LST)))
VirusProteinAndCellPart.kif 228-235
If
a developmental attribute
is a
life
stage achieved of
a biological process
and
an agent
experience
s
the biological process
,
then
the agent
is an
instance
of
the developmental attribute
holds
during
immediately
after
the
time
of existence of
the biological process
(=>
(
and
(
possesses
?Agent ?Stocks)
(
measure
?Stocks
(
MeasureFn
?Number
ShareUnit
))
(
splitFor
?Event ?N1 ?N2))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?Event))
(
and
(
equal
?N3
(
MultiplicationFn
?Number ?N2))
(
equal
?NewNumber
(
DivisionFn
?N3 ?N1))
(
measure
?Stocks
(
MeasureFn
?NewNumber
ShareUnit
)))))
FinancialOntology.kif 2229-2239
If
an agent
possess
es
an object
and the
measure
of
the object
is
a real number
share unit
(s) and
a stock split
is
split
for
an integer
for
another integer
,
then
an entity
is
equal
to
the real number
and
the other integer
and
another entity
is
equal
to
the entity
and
the integer
and the
measure
of
the object
is
the other entity
share unit
(s) holds
during
immediately
after
the
time
of existence of
the stock split
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