MeasureFn
(=>
(
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 1208-1223
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 410-426
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
equal
a third real number
and (
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
equal
the other real number
meter
(s) and 299792458 and
the real number
meter
(s)
(=>
(
and
(
instance
?R
Ruler
)
(
instance
?M
Measuring
)
(
instrument
?M ?R)
(
instance
?LE
LinearExtent
)
(
result
?M ?LE))
(
lessThan
?LE
(
MeasureFn
10.0
Meter
)))
Mid-level-ontology.kif 33827-33834
If
an object
is an
instance
of
ruler
and
a process
is an
instance
of
measuring
and
the object
is an
instrument
for
the process
and
a real number
is an
instance
of
LinearExtent
and
the real number
is a
result
of
the process
,
then
the real number
is
less
than 10.0
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 25474-25491
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 18635-18650
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 9015-9029
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 5012-5017
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
relative to
sea level
is 0.0
foot length
(s)
(=>
(
and
(
instance
?SEA
Sea
)
(
top
?TOP ?SEA))
(
altitude
?TOP
SeaLevel
(
MeasureFn
0.0
Meter
)))
Geography.kif 5005-5010
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
relative to
sea level
is 0.0
meter
(s)
(=>
(
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 7116-7129
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
?SYSTEM
HighPressureWeatherSystem
)
(
eventLocated
?SYSTEM ?AREA))
(
and
(
barometricPressure
?AREA
(
MeasureFn
?AMOUNT
InchMercury
))
(
greaterThan
?AMOUNT 30.2)))
Weather.kif 786-792
If
a process
is an
instance
of
high pressure weather system
and
the process
is
located
at
an object
,
then
a real number
inch mercury
(s) is a
barometric
pressure of
the object
and
the real number
is
greater
than 30.2
(=>
(
and
(
instance
?SYSTEM
LowPressureWeatherSystem
)
(
instance
?AREA
Region
)
(
eventLocated
?SYSTEM ?AREA))
(
and
(
barometricPressure
?AREA
(
MeasureFn
?AMOUNT
InchMercury
))
(
lessThan
?AMOUNT 29.5)))
Weather.kif 531-538
If
a process
is an
instance
of
low pressure weather system
and
an object
is an
instance
of
region
and
the process
is
located
at
the object
,
then
a real number
inch mercury
(s) is a
barometric
pressure of
the object
and
the real number
is
less
than 29.5
(=>
(
and
(
instance
?T
ElectricalTransformer
)
(
instance
?WC1
WireCoil
)
(
instance
?WC2
WireCoil
)
(
coilCount
?WC1 ?N1)
(
coilCount
?WC2 ?N2)
(
holdsDuring
?T
(
measure
?WC1
(
MeasureFn
Volt
?V1))))
(
and
(
holdsDuring
?T
(
measure
?WC2
(
MeasureFn
Volt
?V2)))
(
equal
?V2
(
MultiplicationFn
?V1
(
DivisionFn
?N2 ?N1)))))
Cars.kif 3155-3169
If
a time position
is an
instance
of
transformer
and
a wire coil
is an
instance
of
wire coil
and
another wire coil
is an
instance
of
wire coil
and the number of coils in
the wire coil
is
an integer
and the number of coils in
the other wire coil
is
another integer
and the
measure
of
the wire coil
is
volt
a real number
(s) holds
during
the time position
,
then the
measure
of
the other wire coil
is
volt
another real number
(s) holds
during
the time position
and
equal
the other real number
and
the real number
and
the other integer
and
the integer
(=>
(
and
(
instance
?T
FortyFtContainer
)
(
attribute
?T
Dry
))
(
capacity
?T
(
MeasureFn
26480
Kilogram
)))
Transportation.kif 2960-2965
If
a self connected object
is an
instance
of
forty foot container
and
dry
is an
attribute
of
the self connected object
,
then 26480
kilogram
(s) is a
capacity
of
the self connected object
(=>
(
and
(
instance
?T
Tornado
)
(
instance
?EF
EF5
)
(
eventLocated
?T ?AREA)
(
believes
?A
(
property
?T ?EF)))
(
exists
(?GUST)
(
and
(
greaterThan
?GUST 200.0)
(
believes
?A
(
equal
(
MeasureFn
?GUST
MilesPerHour
)
(
ThreeSecondGustSpeedFn
?AREA
(
WhenFn
?T)))))))
Weather.kif 3020-3034
If
a process
is an
instance
of
tornado
and
an entity
is an
instance
of
EF5
and
the process
is
located
at
an object
and
a cognitive agent
believe
s
the process
the
attribute
the entity
,
then there exists
a real number
such that
the real number
is
greater
than 200.0 and
the cognitive agent
believe
s
equal
the real number
miles per hour
(s) and
ThreeSecondSpeedGustFn
ending at the
time
of existence of
the process
in
the object
(=>
(
and
(
instance
?T
Tornado
)
(
instance
?EF
EFScaleAttribute
)
(
eventLocated
?T ?AREA)
(
believes
?A
(
property
?T ?EF))
(
speedScaleAttributeMinMax
?EF
(
MeasureFn
?MIN
MilesPerHour
)
(
MeasureFn
?MAX
MilesPerHour
)))
(
exists
(?GUST)
(
and
(
greaterThanOrEqualTo
?GUST ?MIN)
(
lessThanOrEqualTo
?GUST ?MAX)
(
believes
?A
(
equal
(
MeasureFn
?GUST
MilesPerHour
)
(
ThreeSecondGustSpeedFn
?AREA
(
WhenFn
?T)))))))
Weather.kif 2925-2943
If
a process
is an
instance
of
tornado
and
a speed scale attribute
is an
instance
of
enhanced fuijita scale attribute
and
the process
is
located
at
an object
and
a cognitive agent
believe
s
the process
the
attribute
the speed scale attribute
and
a real number
miles per hour
(s) and
another real number
miles per hour
(s) are the min and max speed of
the speed scale attribute
,
then there exists
a third real number
such that
the third real number
is
greater
than or equal to
the real number
and
the third real number
is
less
than or equal to
the other real number
and
the cognitive agent
believe
s
equal
the third real number
miles per hour
(s) and
ThreeSecondSpeedGustFn
ending at the
time
of existence of
the process
in
the object
(=>
(
and
(
instance
?T
TwentyFtContainer
)
(
attribute
?T
Dry
))
(
capacity
?T
(
MeasureFn
21600
Kilogram
)))
Transportation.kif 2822-2827
If
a self connected object
is an
instance
of
twenty foot container
and
dry
is an
attribute
of
the self connected object
,
then 21600
kilogram
(s) is a
capacity
of
the self connected object
(=>
(
and
(
instance
?TC
TropicalCyclone
)
(
destination
?TC ?DEST)
(
instance
?DEST
GeographicArea
))
(
not
(
exists
(?L ?SL ?X)
(
and
(
instance
?L
LandArea
)
(
instance
?SL
Shoreline
)
(
located
?DEST ?L)
(
distance
?L ?SL
(
MeasureFn
?X
Mile
))
(
greaterThan
?X 200.0)))))
Weather.kif 677-690
If
a process
is an
instance
of
tropical cyclone
and
the process
end
s up at
a physical
and
the physical
is an
instance
of
geographic area
,
then there don't exist
an object
,
another physical
and
a real number
such that
the object
is an
instance
of
land area
and
the other physical
is an
instance
of
shoreline
and
the physical
is
located
at
the object
and the
distance
between
the object
and
the other physical
is
the real number
mile
(s) and
the real number
is
greater
than 200.0
(=>
(
and
(
instance
?TC
TropicalCyclonicSystem
)
(
origin
?TC ?SEA)
(
or
(
instance
?SEA
NorthAtlanticOcean
)
(
instance
?SEA
PacificOcean
)
(
instance
?SEA
IndianOcean
)))
(
not
(
exists
(?AREA ?DIR ?NUM ?LONG)
(
and
(
located
?AREA ?SEA)
(
instance
?DIR
DirectionalAttribute
)
(
objectGeographicCoordinates
?AREA
(
LatitudeFn
?DIR
(
MeasureFn
?NUM
AngularDegree
)) ?LONG)
(
or
(
equal
?DIR
North
)
(
equal
?DIR
South
))
(
lessThan
?NUM 5.0)))))
Weather.kif 611-630
If
a process
is an
instance
of
tropical cyclonic system
and
the process
originate
s at
an object
and
the object
is an
instance
of
north atlantic ocean
or
the object
is an
instance
of
pacific ocean
or
the object
is an
instance
of
indian ocean
,
then there don't exist
another object
,
a directional attribute
,, ,
a real number
and
a longitude
such that
the other object
is
located
at
the object
and
the directional attribute
is an
instance
of
directional attribute
and
the other object
is
object
geographic coordinates the
region
the directional attribute
of
the real number
angular degree
(s) for
the longitude
and
equal
the directional attribute
and
north
or
equal
the directional attribute
and
south
and
the real number
is
less
than 5.0
(=>
(
and
(
instance
?Transaction
FinancialTransaction
)
(
origin
?Transaction
(
CurrencyFn
?Account))
(
transactionAmount
?Transaction
(
MeasureFn
?Amount1 ?U))
(
instance
?U
UnitOfCurrency
)
(
instance
?Cash
Currency
)
(
patient
?Transaction ?Cash)
(
date
?Transaction ?Day))
(
exists
(?Amount2)
(
and
(
availableCash
?Account ?Day
(
MeasureFn
?Amount2 ?U))
(
greaterThanOrEqualTo
?Amount1 ?Amount2))))
FinancialOntology.kif 3856-3870
If
a financial transaction
is an
instance
of
financial transaction
and
the financial transaction
originate
s at the
currency
of
a financial account
and
a real number
an unit of measure
(s) is a
transaction
amount of
the financial transaction
and
the unit of measure
is an
instance
of
unit of currency
and
an entity
is an
instance
of
currency
and
the entity
is a
patient
of
the financial transaction
and
date
of
the financial transaction
is
a day
,
then there exists
another real number
such that the
available
cash
of
the financial account
on
the day
is
the other real number
the unit of measure
(s) and
the real number
is
greater
than or equal to
the other real number
(=>
(
and
(
instance
?Transaction
FinancialTransaction
)
(
origin
?Transaction ?Account)
(
transactionAmount
?Transaction
(
MeasureFn
?Amount1 ?U))
(
instance
?U
UnitOfCurrency
)
(
date
?Transaction ?Day))
(
exists
(?Amount2)
(
and
(
availableBalance
?Account ?Day
(
MeasureFn
?Amount2 ?U))
(
greaterThanOrEqualTo
?Amount1 ?Amount2))))
FinancialOntology.kif 3833-3845
If
a financial transaction
is an
instance
of
financial transaction
and
the financial transaction
originate
s at
a financial account
and
a real number
an unit of measure
(s) is a
transaction
amount of
the financial transaction
and
the unit of measure
is an
instance
of
unit of currency
and
date
of
the financial transaction
is
a day
,
then there exists
another real number
such that the
available
balance
of
the financial account
on
the day
is
the other real number
the unit of measure
(s) and
the real number
is
greater
than or equal to
the other real number
(=>
(
and
(
instance
?U
UnitOfCurrency
)
(
reservePrice
?AUCTION
(
MeasureFn
?AMOUNT ?U))
(
destination
?AUCTION ?BUYER))
(
exists
(?OFFER ?ITEM)
(
and
(
bidPrice
?ITEM
(
MeasureFn
?OFFER ?U) ?BUYER)
(
greaterThan
?OFFER ?AMOUNT))))
UXExperimentalTerms.kif 415-423
If
an unit of measure
is an
instance
of
unit of currency
and the
reserve
price
of
an auctioning
is
a real number
the unit of measure
(s) and
the auctioning
end
s up at
an agent
,
then there exist
another real number
and
an object
such that
the agent
bids
the other real number
the unit of measure
(s) for
the object
and
the other real number
is
greater
than
the real number
(=>
(
and
(
instance
?UNIT
UnitOfArea
)
(
landAreaOnly
?AREA
(
MeasureFn
?LAND ?UNIT))
(
waterAreaOnly
?AREA
(
MeasureFn
?WATER ?UNIT)))
(
totalArea
?AREA
(
MeasureFn
(
AdditionFn
?LAND ?WATER) ?UNIT)))
Geography.kif 725-730
If
an unit of measure
is an
instance
of
unit of area
and
a real number
the unit of measure
(s) is a
land
area only of
a geographic area
and
another real number
the unit of measure
(s) is a
water
area only of
the geographic area
,
then (
the real number
and
the other real number
)
the unit of measure
(s) is a
total
area of
the geographic area
(=>
(
and
(
instance
?UNIT
UnitOfMeasure
)
(
equal
?GIGAUNIT
(
GigaFn
?UNIT)))
(
equal
(
MeasureFn
1 ?GIGAUNIT)
(
MeasureFn
1000000
(
KiloFn
?UNIT))))
Merge.kif 6528-6532
If
an unit of measure
is an
instance
of
unit of measure
and
equal
another unit of measure
and 1
billion
the unit of measure
s,
then
equal
1
the other unit of measure
(s) and 1000000 1
thousand
the unit of measure
s(s)
(=>
(
and
(
instance
?UNIT
UnitOfMeasure
)
(
equal
?KILOUNIT
(
KiloFn
?UNIT)))
(
equal
(
MeasureFn
1 ?KILOUNIT)
(
MeasureFn
1000 ?UNIT)))
Merge.kif 6500-6504
If
an unit of measure
is an
instance
of
unit of measure
and
equal
another unit of measure
and 1
thousand
the unit of measure
s,
then
equal
1
the other unit of measure
(s) and 1000
the unit of measure
(s)
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
