MeasureFn
(=>
(
and
(
instance
?LOW
LowTide
)
(
instance
?HIGH
HighTide
)
(
eventLocated
?LOW ?PLACE)
(
eventLocated
?HIGH ?PLACE)
(
instance
?DAY
Day
)
(
overlapsTemporally
?LOW ?DAY)
(
overlapsTemporally
?HIGH ?DAY))
(
exists
(?AMOUNT1 ?AMOUNT2 ?U)
(
and
(
instance
?U
UnitOfLength
)
(
holdsDuring
?LOW
(
waterDepth
?PLACE
(
MeasureFn
?AMOUNT1 ?U)))
(
holdsDuring
?HIGH
(
waterDepth
?PLACE
(
MeasureFn
?AMOUNT2 ?U)))
(
greaterThan
?AMOUNT2 ?AMOUNT1))))
Geography.kif 4958-4976
If
a time interval
is an
instance
of
low tide
and
another time interval
is an
instance
of
high tide
and
the time interval
is
located
at
an object
and
the other time interval
is
located
at
the object
and
a third time interval
is an
instance
of
day
and
the third time interval
overlap
s
the time interval
and
the third time interval
overlap
s
the other time interval
,
then there exist
a real number
,
another real number
and
an entity
such that
the entity
is an
instance
of
unit of length
and
the real number
the entity
(s) is a
water
depth of
the object
holds
during
the time interval
and
the other real number
the entity
(s) is a
water
depth of
the object
holds
during
the other time interval
and
the other real number
is
greater
than
the real number
(=>
(
and
(
instance
?M
OnePercentMilk
)
(
measure
?M
(
MeasureFn
?N ?U))
(
instance
?U
UnitOfVolume
))
(
exists
(?BF ?N2)
(
and
(
instance
?BF
ButterFat
)
(
part
?BF ?M)
(
not
(
exists
(?F2)
(
and
(
instance
?F2
ButterFat
)
(
not
(
equal
?BF ?F2))
(
part
?F2 ?M))))
(
measure
?BF
(
MeasureFn
?N2 ?U))
(
equal
?N2
(
MultiplicationFn
0.01 ?N)))))
Food.kif 2969-2986
If
an object
is an
instance
of
one percent milk
and the
measure
of
the object
is
a real number
an unit of measure
(s) and
the unit of measure
is an
instance
of
unit of volume
,
then there exist
another object
and
the real number
2 such that
the other object
is an
instance
of
butter fat
and
the other object
is a
part
of
the object
and there doesn't exist
a third object
such that
the third object
is an
instance
of
butter fat
and
the other object
is not
equal
to
the third object
and
the third object
is a
part
of
the object
and the
measure
of
the other object
is
the real number
2
the unit of measure
(s) and
the real number
2 is
equal
to 0.01 and
the real number
(=>
(
and
(
instance
?M
SemiSkimmedMilk
)
(
measure
?M
(
MeasureFn
?N ?U))
(
instance
?U
UnitOfVolume
))
(
exists
(?BF ?N2)
(
and
(
instance
?BF
ButterFat
)
(
part
?BF ?M)
(
not
(
exists
(?F2)
(
and
(
instance
?F2
ButterFat
)
(
not
(
equal
?BF ?F2))
(
part
?F2 ?M))))
(
measure
?BF
(
MeasureFn
?N2 ?U))
(
greaterThanOrEqualTo
?N2
(
MultiplicationFn
0.015 ?N))
(
lessThanOrEqualTo
?N2
(
MultiplicationFn
0.02 ?N)))))
Food.kif 2993-3011
If
an object
is an
instance
of
semi skimmed milk
and the
measure
of
the object
is
a real number
an unit of measure
(s) and
the unit of measure
is an
instance
of
unit of volume
,
then there exist
another object
and
the real number
such that
the other object
is an
instance
of
butter fat
and
the other object
is a
part
of
the object
and there doesn't exist
a third object
such that
the third object
is an
instance
of
butter fat
and
the other object
is not
equal
to
the third object
and
the third object
is a
part
of
the object
and the
measure
of
the other object
is
the real number
the unit of measure
(s) and
the real number
is
greater
than or equal to 0.015 and
the real number
and
the real number
is
less
than or equal to 0.02 and
the real number
(=>
(
and
(
instance
?M
SkimmedMilk
)
(
measure
?M
(
MeasureFn
?N ?U))
(
instance
?U
UnitOfVolume
))
(
exists
(?BF ?N2)
(
and
(
instance
?BF
ButterFat
)
(
part
?BF ?M)
(
not
(
exists
(?F2)
(
and
(
instance
?F2
ButterFat
)
(
not
(
equal
?BF ?F2))
(
part
?F2 ?M))))
(
measure
?BF
(
MeasureFn
?N2 ?U))
(
greaterThanOrEqualTo
?N2
(
MultiplicationFn
0.0 ?N))
(
lessThanOrEqualTo
?N2
(
MultiplicationFn
0.005 ?N)))))
Food.kif 3018-3036
If
an object
is an
instance
of
skimmed milk
and the
measure
of
the object
is
a real number
an unit of measure
(s) and
the unit of measure
is an
instance
of
unit of volume
,
then there exist
another object
and
the real number
such that
the other object
is an
instance
of
butter fat
and
the other object
is a
part
of
the object
and there doesn't exist
a third object
such that
the third object
is an
instance
of
butter fat
and
the other object
is not
equal
to
the third object
and
the third object
is a
part
of
the object
and the
measure
of
the other object
is
the real number
the unit of measure
(s) and
the real number
is
greater
than or equal to 0.0 and
the real number
and
the real number
is
less
than or equal to 0.005 and
the real number
(=>
(
and
(
instance
?M
TwoPercentMilk
)
(
measure
?M
(
MeasureFn
?N ?U))
(
instance
?U
UnitOfVolume
))
(
exists
(?BF ?N2)
(
and
(
instance
?BF
ButterFat
)
(
part
?BF ?M)
(
not
(
exists
(?F2)
(
and
(
instance
?F2
ButterFat
)
(
not
(
equal
?BF ?F2))
(
part
?F2 ?M))))
(
measure
?BF
(
MeasureFn
?N2 ?U))
(
equal
?N2
(
MultiplicationFn
0.02 ?N)))))
Food.kif 2945-2962
If
an object
is an
instance
of
two percent milk
and the
measure
of
the object
is
a real number
an unit of measure
(s) and
the unit of measure
is an
instance
of
unit of volume
,
then there exist
another object
and
the real number
such that
the other object
is an
instance
of
butter fat
and
the other object
is a
part
of
the object
and there doesn't exist
a third object
such that
the third object
is an
instance
of
butter fat
and
the other object
is not
equal
to
the third object
and
the third object
is a
part
of
the object
and the
measure
of
the other object
is
the real number
the unit of measure
(s) and
the real number
is
equal
to 0.02 and
the real number
(=>
(
and
(
instance
?M
WholeMilk
)
(
measure
?M
(
MeasureFn
?N ?U))
(
instance
?U
UnitOfVolume
))
(
exists
(?BF ?N2)
(
and
(
instance
?BF
ButterFat
)
(
part
?BF ?M)
(
not
(
exists
(?F2)
(
and
(
instance
?F2
ButterFat
)
(
not
(
equal
?BF ?F2))
(
part
?F2 ?M))))
(
measure
?BF
(
MeasureFn
?N2 ?U))
(
greaterThanOrEqualTo
?N2
(
MultiplicationFn
0.0325 ?N))
(
lessThanOrEqualTo
?N2
(
MultiplicationFn
0.05 ?N)))))
Food.kif 2851-2869
If
an object
is an
instance
of
whole milk
and the
measure
of
the object
is
a real number
an unit of measure
(s) and
the unit of measure
is an
instance
of
unit of volume
,
then there exist
another object
and
the real number
such that
the other object
is an
instance
of
butter fat
and
the other object
is a
part
of
the object
and there doesn't exist
a third object
such that
the third object
is an
instance
of
butter fat
and
the other object
is not
equal
to
the third object
and
the third object
is a
part
of
the object
and the
measure
of
the other object
is
the real number
the unit of measure
(s) and
the real number
is
greater
than or equal to 0.0325 and
the real number
and
the real number
is
less
than or equal to 0.05 and
the real number
(=>
(
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
?MONTH
(
MonthFn
February
?YEAR))
(
instance
?Y ?YEAR)
(
instance
?Y
LeapYear
))
(
duration
?MONTH
(
MeasureFn
29
DayDuration
)))
Merge.kif 9095-9100
If
a time interval
is an
instance
of the
month
February
and
an entity
is an
instance
of
the entity
EAR and
the entity
is an
instance
of
leap year
,
then
duration
of
the time interval
is 29
day duration
(s)
(=>
(
and
(
instance
?MONTH
(
MonthFn
February
?YEAR))
(
instance
?Y ?YEAR)
(
not
(
instance
?Y
LeapYear
)))
(
duration
?MONTH
(
MeasureFn
28
DayDuration
)))
Merge.kif 9088-9093
If
a time interval
is an
instance
of the
month
February
and
an entity
is an
instance
of
the entity
EAR and
the entity
is not an
instance
of
leap year
,
then
duration
of
the time interval
is 28
day duration
(s)
(=>
(
and
(
instance
?MT
MusicalTone
)
(
soundFrequency
?MT
(
MeasureFn
?FREQ
Hertz
))
(
loudness
?MT
(
MeasureFn
?LLB
Decibel
))
(
located
?MT
(
WhereFn
?H
(
BeginFn
(
WhenFn
?MT))))
(
greaterThan
?LLIMIT ?LLB)
(
greaterThan
?LLB ?ULIMIT)
(
greaterThan
?FREQ 250)
(
greaterThan
8000 ?FREQ)
(
instance
?H
Human
)
(
instance
?L
Listening
)
(
agent
?L ?H))
(
hearingAcuity
?H
(
MeasureFn
?LLIMIT
Decibel
)
(
MeasureFn
?ULIMIT
Decibel
)))
Medicine.kif 1753-1773
If
a musical tone
is an
instance
of
musical tone
and the
frequency
of
the musical tone
is
a real number
hertz
(s) and the
sound
of
the musical tone
is
another real number
dB(A)
(s) and
the musical tone
is
located
at the place
where
a human
was at the
beginning
of the
time
of existence of
the musical tone
and
a third real number
is
greater
than
the other real number
and
the other real number
is
greater
than
a fourth real number
and
the real number
is
greater
than 250 and 8000 is
greater
than
the real number
and
the human
is an
instance
of
human
and
a process
is an
instance
of
listening
and
the human
is an
agent
of
the process
,
then
the human
can hear frequency of
the third real number
dB(A)
(s) at
the fourth real number
dB(A)
(s) decibels
(=>
(
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
?ORGANISM
Human
)
(
attribute
?ORGANISM
Fever
))
(
exists
(?NUMBER)
(
and
(
measure
?ORGANISM
(
MeasureFn
?NUMBER
FahrenheitDegree
))
(
greaterThan
?NUMBER 98.6))))
WMD.kif 1110-1117
If
an object
is an
instance
of
human
and
fever
is an
attribute
of
the object
,
then there exists
a real number
such that the
measure
of
the object
is
the real number
fahrenheit degree
(s) and
the real number
is
greater
than 98.6
(=>
(
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 17637-17655
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 17615-17633
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
?PLACE
GeographicArea
)
(
located
?PLACE ?T)
(
instance
?T
Tropics
))
(
exists
(?NUM1 ?LONG ?DIR ?NUM2 ?U)
(
and
(
objectGeographicCoordinates
?PLACE
(
MeasureFn
?NUM1 ?U) ?LONG)
(
instance
?U
UnitOfAngularMeasure
)
(
lessThan
?NUM1 ?NUM2)
(
equal
(
MeasureFn
?NUM2 ?U)
(
LatitudeFn
?DIR
(
MeasureFn
23.0
AngularDegree
)
(
MeasureFn
26.0
ArcMinute
)
(
MeasureFn
11.5
ArcSecond
)))
(
instance
?DIR
DirectionalAttribute
)
(
or
(
equal
?DIR
North
)
(
equal
?DIR
South
)))))
Geography.kif 3595-3615
If
an object
is an
instance
of
geographic area
and
the object
is
located
at
another object
and
the other object
is an
instance
of
tropics
,
then there exist
a real number
,
a longitude
,, ,
a directional attribute
,, ,
another real number
and
an unit of measure
such that
the object
is
object
geographic coordinates
the real number
the unit of measure
(s) for
the longitude
and
the unit of measure
is an
instance
of
unit of angular measure
and
the real number
is
less
than
the other real number
and
the other real number
the unit of measure
(s) is
equal
to the
region
the directional attribute
of 23.0
angular degree
(s) and
the directional attribute
is an
instance
of
directional attribute
and
the directional attribute
is
equal
to
north
or
the directional attribute
is
equal
to
south
(=>
(
and
(
instance
?PSP
ProfitSharingPlan
)
(
accountHolder
?PSP ?H)
(
employs
?O ?H)
(
profit
?A
(
MeasureFn
?P ?U))
(
instance
?U
UnitOfCurrency
)
(
agent
?A ?O))
(
exists
(?C ?PAY)
(
and
(
instance
?PAY
FinancialTransaction
)
(
transactionAmount
?PAY
(
MeasureFn
?C ?U))
(
lessThan
?C ?P)
(
destination
?PAY ?PSP))))
FinancialOntology.kif 1192-1207
If
a financial account
is an
instance
of
profit sharing plan
and
a cognitive agent
holds
account
the financial account
and
an agent
employ
s
the cognitive agent
and the
profit
from
a financial transaction
is
a real number
an unit of measure
(s) and
the unit of measure
is an
instance
of
unit of currency
and
the agent
is an
agent
of
the financial transaction
,
then there exist
another real number
and
the real number
AY such that
the real number
AY is an
instance
of
financial transaction
and
the other real number
the unit of measure
(s) is a
transaction
amount of
the real number
AY and
the other real number
is
less
than
the real number
and
the real number
AY
end
s up at
the financial account
(=>
(
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
RadiatingElectromagnetic
)
(
carrierFrequency
?R
(
MeasureFn
?HZ
Hertz
))
(
wavelength
?R
(
MeasureFn
?L
Meter
)))
(
equal
(
MeasureFn
?L
Meter
)
(
MeasureFn
(
DivisionFn
299792458 ?HZ)
Meter
)))
ComputingBrands.kif 1570-1577
If
a radiating
is an
instance
of
radiating electromagnetic
and the frequency of the carrier of
the radiating
is
a real number
hertz
(s) and the
wavelength
of
the radiating
is
another real number
meter
(s),
then
the other real number
meter
(s) is
equal
to 299792458 and
the real number
meter
(s)
(=>
(
and
(
instance
?S
Saving
)
(
patient
?S ?O)
(
agent
?S ?A))
(
exists
(?Q1 ?Q2 ?U)
(
and
(
instance
?U
UnitOfCurrency
)
(
holdsDuring
(
BeginFn
(
WhenFn
?S))
(
monetaryValue
?O
(
MeasureFn
?Q1 ?U)))
(
holdsDuring
(
EndFn
(
WhenFn
?S))
(
monetaryValue
?O
(
MeasureFn
?Q2 ?U)))
(
possesses
?A ?O)
(
lessThan
?Q1 ?Q2))))
Mid-level-ontology.kif 23827-23844
If
a process
is an
instance
of
saving
and
an object
is a
patient
of
the process
and
an agent
is an
agent
of
the process
,
then there exist
a real number
,
another real number
and
an entity
such that
the entity
is an
instance
of
unit of currency
and
value
of
the object
is
the real number
the entity
(s) holds
during
the
beginning
of the
time
of existence of
the process
and
value
of
the object
is
the other real number
the entity
(s) holds
during
the
end
of the
time
of existence of
the process
and
the agent
possess
es
the object
and
the real number
is
less
than
the other real number
(=>
(
and
(
instance
?S
Shortening
)
(
patient
?S ?O))
(
exists
(?L1 ?L2 ?U)
(
and
(
instance
?U
UnitOfLength
)
(
holdsDuring
(
BeginFn
(
WhenFn
?S))
(
length
?O
(
MeasureFn
?L1 ?U)))
(
holdsDuring
(
EndFn
(
WhenFn
?S))
(
length
?O
(
MeasureFn
?L2 ?U)))
(
greaterThan
?L1 ?L2))))
Mid-level-ontology.kif 17207-17222
If
a process
is an
instance
of
shortening
and
an entity
is a
patient
of
the process
,
then there exist
a real number
,
another real number
and
another entity
such that
the other entity
is an
instance
of
unit of length
and the
length
of
the entity
is
the real number
the other entity
(s) holds
during
the
beginning
of the
time
of existence of
the process
and the
length
of
the entity
is
the other real number
the other entity
(s) holds
during
the
end
of the
time
of existence of
the process
and
the real number
is
greater
than
the other real number
(=>
(
and
(
instance
?SALE
BargainSale
)
(
patient
?SALE ?OBJ)
(
instance
?OBJ
Object
))
(
exists
(?PRICE1 ?PRICE2 ?AGENT1 ?AGENT2 ?U)
(
and
(
instance
?U
UnitOfCurrency
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?SALE))
(
price
?OBJ
(
MeasureFn
?PRICE1 ?U) ?AGENT1))
(
holdsDuring
(
WhenFn
?SALE)
(
price
?OBJ
(
MeasureFn
?PRICE2 ?U) ?AGENT2))
(
lessThan
?PRICE2 ?PRICE1))))
Mid-level-ontology.kif 7847-7861
If
a process
is an
instance
of
bargain sale
and
an entity
is a
patient
of
the process
and
the entity
is an
instance
of
object
,
then there exist
a real number
,
another real number
,, ,
another entity
,, ,
a third entity
and
a fourth entity
such that
the fourth entity
is an
instance
of
unit of currency
and
the entity
is
price
the real number
the fourth entity
(s) for
the other entity
holds
during
immediately
before
the
time
of existence of
the process
and
the entity
is
price
the other real number
the fourth entity
(s) for
the third entity
holds
during
the
time
of existence of
the process
and
the other real number
is
less
than
the real number
(=>
(
and
(
instance
?SEA
Sea
)
(
top
?TOP ?SEA))
(
altitude
?TOP
SeaLevel
(
MeasureFn
0.0
FootLength
)))
Geography.kif 4772-4777
If
a self connected object
is an
instance
of
sea
and the
top
of
the self connected object
is
another self connected object
,
then the
altitude
of
the other self connected object
is
sea level
(=>
(
and
(
instance
?SEA
Sea
)
(
top
?TOP ?SEA))
(
altitude
?TOP
SeaLevel
(
MeasureFn
0.0
Meter
)))
Geography.kif 4765-4770
If
a self connected object
is an
instance
of
sea
and the
top
of
the self connected object
is
another self connected object
,
then the
altitude
of
the other self connected object
is
sea level
(=>
(
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
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