measure
(=>
(
and
(
measure
?OBJ1 ?MEAS)
(
contains
?OBJ2 ?OBJ1))
(
capacity
?OBJ2 ?MEAS))
Mid-level-ontology.kif 6685-6689
If the
measure
of
an object
is
a constant quantity
and
a self connected object
contain
s
the object
,
then
the constant quantity
is a
capacity
of
the self connected object
(=>
(
and
(
measure
?P1
(
MeasureFn
?N1
Lumen
))
(
measure
?P2
(
MeasureFn
?N2
Lumen
))
(
part
?P1 ?O)
(
part
?P2 ?O)
(
not
(
equal
?P1 ?P2))
(
greaterThan
?N1 ?N2)
(
equal
(
DivisionFn
?N1 ?N2) ?R)
(
contrastRatio
?O ?R))
(
not
(
exists
(?P3 ?P4 ?N3 ?N4)
(
and
(
measure
?P3
(
MeasureFn
?N3
Lumen
))
(
measure
?P4
(
MeasureFn
?N4
Lumen
))
(
part
?P3 ?O)
(
part
?P4 ?O)
(
not
(
equal
?P3 ?P4))
(
greaterThan
?N3 ?N4)
(
greaterThan
(
DivisionFn
?N3 ?N4) ?R)))))
ComputingBrands.kif 3735-3756
If the
measure
of
an object
is
a real number
lumen
(s) and the
measure
of
another object
is
another real number
lumen
(s) and
the object
is a
part
of
a third object
and
the other object
is a
part
of
the third object
and
the object
is not
equal
to
the other object
and
the real number
is
greater
than
the other real number
and
the real number
and
the other real number
is
equal
to
a third real number
and the contrast ratio of
the third object
is
the third real number
,
then there don't exist
a fourth object
,
a fifth object
,, ,
a fourth real number
and
a fifth real number
such that the
measure
of
the fourth object
is
the fourth real number
lumen
(s) and the
measure
of
the fifth object
is
the fifth real number
lumen
(s) and
the fourth object
is a
part
of
the third object
and
the fifth object
is a
part
of
the third object
and
the fourth object
is not
equal
to
the fifth object
and
the fourth real number
is
greater
than
the fifth real number
and
the fourth real number
and
the fifth real number
is
greater
than
the third real number
(=>
(
and
(
measure
?QUAKE
(
MeasureFn
?VALUE
RichterMagnitude
))
(
instance
?QUAKE
Earthquake
))
(
exists
(?TREMOR)
(
and
(
instance
?TREMOR
EarthTremor
)
(
subProcess
?TREMOR ?QUAKE)
(
measure
?TREMOR
(
MeasureFn
?VALUE
RichterMagnitude
)))))
Geography.kif 2359-2369
If the
measure
of
a process
is
a real number
richter magnitude
(s) and
the process
is an
instance
of
earthquake
,
then there exists
another process
such that
the other process
is an
instance
of
earth tremor
and
the other process
is a
subprocess
of
the process
and the
measure
of
the other process
is
the real number
richter magnitude
(s)
(=>
(
and
(
not
(
attribute
?H
Anemia
))
(
instance
?B
Blood
)
(
part
?B ?H)
(
attribute
?H
Female
)
(
measure
?B
(
MeasureFn
0.1
Liter
))
(
instance
?HE
Hemoglobin
)
(
part
?HE ?B)
(
not
(
instance
?HE2
Hemoglobin
))
(
not
(
equal
?HE ?HE2))
(
part
?H2 ?B)
(
measure
?HE
(
MeasureFn
?N
Gram
)))
(
greaterThan
?N 12))
Medicine.kif 206-221
If
anaemia
is not an
attribute
of
an object
and
another object
is an
instance
of
blood
and
the other object
is a
part
of
the object
and
female
is an
attribute
of
the object
and the
measure
of
the other object
is 0.1
liter
(s) and
the object
E is an
instance
of
hemoglobin
and
the object
E is a
part
of
the other object
and
the object
E2 is not an
instance
of
hemoglobin
and
the object
E is not
equal
to
the object
E2 and
the object
2 is a
part
of
the other object
and the
measure
of
the object
E is
a real number
gram
(s),
then
the real number
is
greater
than 12
(=>
(
and
(
not
(
attribute
?H
Anemia
))
(
instance
?B
Blood
)
(
part
?B ?H)
(
attribute
?H
Male
)
(
measure
?B
(
MeasureFn
0.1
Liter
))
(
instance
?HE
Hemoglobin
)
(
part
?HE ?B)
(
not
(
instance
?HE2
Hemoglobin
))
(
not
(
equal
?HE ?HE2))
(
part
?H2 ?B)
(
measure
?HE
(
MeasureFn
?N
Gram
)))
(
greaterThan
?N 13))
Medicine.kif 189-204
If
anaemia
is not an
attribute
of
an object
and
another object
is an
instance
of
blood
and
the other object
is a
part
of
the object
and
male
is an
attribute
of
the object
and the
measure
of
the other object
is 0.1
liter
(s) and
the object
E is an
instance
of
hemoglobin
and
the object
E is a
part
of
the other object
and
the object
E2 is not an
instance
of
hemoglobin
and
the object
E is not
equal
to
the object
E2 and
the object
2 is a
part
of
the other object
and the
measure
of
the object
E is
a real number
gram
(s),
then
the real number
is
greater
than 13
(=>
(
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
(=>
(
and
(
rentalPrice
?OBJ ?QUANT ?AGENT ?PS)
(
equal
?QUANT
(
PerFn
?PRICE
(
measure
?TIME ?U)))
(
instance
?U
UnitOfDuration
)
(
immediateInstance
?ITEM ?OBJ)
(
instance
?R
Renting
)
(
patient
?R ?ITEM)
(
agent
?R ?CUSTOMER)
(
time
?R ?TIMEINT))
(
forall
(?X)
(=>
(
exists
(?DURATION)
(
and
(
during
?TIMEINT ?X)
(
instance
?X
TimeInterval
)
(
duration
?X
(
MeasureFn
?DURATION ?U))
(
lessThanOrEqualTo
?DURATION ?TIME)))
(
exists
(?P)
(
and
(
instance
?P
Payment
)
(
destination
?P ?AGENT)
(
agent
?P ?CUSTOMER)
(
transactionAmount
?P ?PRICE))))))
Catalog.kif 467-492
If the
price
of
a kind of physical
set by
a cognitive agent
according to
a pricing scheme
is
a function quantity
and
the function quantity
is
equal
to the
per
of
a currency measure
and the
measure
of
a real number
is
an unit of measure
and
the unit of measure
is an
instance
of
unit of duration
and
an entity
is an
immediate
instance of
a kind of physical
and
a process
is an
instance
of
renting
and
the entity
is a
patient
of
the process
and
an agent
is an
agent
of
the process
and
the process
exists
during
the real number
INT,
then for all
another time interval
if there exists
another real number
such that
the real number
INT takes place
during
the other time interval
and
the other time interval
is an
instance
of
time interval
and
duration
of
the other time interval
is
the other real number
the unit of measure
(s) and
the other real number
is
less
than or equal to
the real number
,
then there exists
a financial transaction
such that
the financial transaction
is an
instance
of
payment
and
the financial transaction
end
s up at
the cognitive agent
and
the agent
is an
agent
of
the financial transaction
and
the currency measure
is a
transaction
amount of
the financial transaction
(=>
(
and
(
resource
?PROC ?OBJ)
(
holdsDuring
(
BeginFn
(
WhenFn
?PROC))
(
measure
?OBJ ?QUANT1))
(
holdsDuring
(
EndFn
(
WhenFn
?PROC))
(
measure
?OBJ ?QUANT2)))
(
greaterThan
?QUANT1 ?QUANT2))
Merge.kif 8061-8066
If
an object
is a
resource
for
a process
and the
measure
of
the object
is
a real number
holds
during
the
beginning
of the
time
of existence of
the process
and the
measure
of
the object
is
another real number
holds
during
the
end
of the
time
of existence of
the process
,
then
the real number
is
greater
than
the other real number
(=>
(
and
(
roomTempState
?C ?PS)
(
instance
?S ?C)
(
holdsDuring
?T
(
roomTempState
?C
Liquid
))
(
measure
?S
(
MeasureFn
101
(
KiloFn
Pascal
))))
(
holdsDuring
?T
(
measure
?S
(
MeasureFn
68
FahrenheitDegree
))))
Mid-level-ontology.kif 31710-31721
If
roomTempState
a kind of substance
and
a physical state
and
a physical
is an
instance
of
a kind of substance
and
roomTempState
the kind of substance
and
liquid
holds
during
a time position
and the
measure
of
the physical
is 101 1
thousand
pascal
s(s),
then the
measure
of
the physical
is 68
fahrenheit degree
(s) holds
during
the time position
(=>
(
and
(
topSpeed
?V
(
MeasureFn
?Q ?CU))
(
instance
?CU
CompositeUnitOfMeasure
)
(
instance
?UL
UnitOfLength
)
(
instance
?UD
UnitOfDuration
)
(
equal
?FASTPROB
(
ProbabilityFn
(
measure
?V
(
SpeedFn
(
MeasureFn
?L1 ?UL)
(
MeasureFn
?T1 ?UD)))))
(
equal
?SLOWPROB
(
ProbabilityFn
(
measure
?V
(
SpeedFn
(
MeasureFn
?L2 ?UL)
(
MeasureFn
?T2 ?UD)))))
(
greaterThan
(
SpeedFn
?L1 ?T1) ?Q)
(
greaterThan
?Q
(
SpeedFn
?L2 ?T2)))
(
greaterThan
?SLOWPROB ?FASTPROB))
Transportation.kif 1718-1736
If the
top
speed
of
a vehicle
is
a real number
an unit of measure
(s) and
the unit of measure
is an
instance
of
composite unit of measure
and
an entity
is an
instance
of
unit of length
and
another entity
is an
instance
of
unit of duration
and
another real number
is
equal
to the
probability
of the
measure
of
the vehicle
is
a length measure
the entity
(s)
per
a time duration
the other entity
(s) and
a third real number
is
equal
to the
probability
of the
measure
of
the vehicle
is
another length measure
the entity
(s)
per
another time duration
the other entity
(s) and
the length measure
per
the time duration
is
greater
than
the real number
and
the real number
is
greater
than
the other length measure
per
the other time duration
,
then
the third real number
is
greater
than
the other real number
(=>
(
and
(
visibilityInMeteorology
?Area ?Time
(
MeasureFn
?Distance ?U))
(
instance
?U
UnitOfMeasure
)
(
instance
?Time
NightTime
)
(
instance
?Observe
Looking
)
(
instance
?B
Region
)
(
attribute
?B
Illuminated
)
(
measure
?B
(
MeasureFn
1000.0
Candela
))
(
agent
?Observe ?A)
(
patient
?Observe ?B)
(
orientation
?A ?B
Horizontal
)
(
eventLocated
?Observe ?Area)
(
during
(
WhenFn
?Observe) ?Time)
(
instance
?B
Object
))
(
exists
(?D2)
(
and
(
distance
?A ?B
(
MeasureFn
?D2 ?U))
(
greaterThan
?Distance ?D2))))
Weather.kif 2733-2754
If the
visibility
at
a region
during
a time interval
is
a real number
an unit of measure
(s) and
the unit of measure
is an
instance
of
unit of measure
and
the time interval
is an
instance
of
night time
and
a process
is an
instance
of
looking
and
an object
is an
instance
of
region
and
illuminated
is an
attribute
of
the object
and the
measure
of
the object
is 1000.0
candela
(s) and
an agent
is an
agent
of
the process
and
the object
is a
patient
of
the process
and
the agent
is
horizontal
to
the object
and
the process
is
located
at
the region
and the
time
of existence of
the process
takes place
during
the time interval
and
the object
is an
instance
of
object
,
then there exists
another real number
such that the
distance
between
the agent
and
the object
is
the other real number
the unit of measure
(s) and
the real number
is
greater
than
the other real number
(=>
(
measure
?ANGLE
(
MeasureFn
?NUMBER
AngularDegree
))
(
and
(
greaterThanOrEqualTo
?NUMBER 0.0)
(
lessThanOrEqualTo
?NUMBER 360.0)))
Merge.kif 7372-7376
If the
measure
of
a physical
is
a real number
angular degree
(s),
then
the real number
is
greater
than or equal to 0.0 and
the real number
is
less
than or equal to 360.0
(=>
(
measure
?ANGLE
(
MeasureFn
?NUMBER
AngularDegree
))
(
greaterThanOrEqualTo
?NUMBER 0.0))
Geography.kif 358-360
If the
measure
of
a physical
is
a real number
angular degree
(s),
then
the real number
is
greater
than or equal to 0.0
(=>
(
measure
?ANGLE
(
MeasureFn
?NUMBER
AngularDegree
))
(
lessThanOrEqualTo
?NUMBER 360.0))
Geography.kif 362-364
If the
measure
of
a physical
is
a real number
angular degree
(s),
then
the real number
is
less
than or equal to 360.0
(=>
(
measure
?ANGLE
(
MeasureFn
?NUMBER
ArcMinute
))
(
greaterThanOrEqualTo
?NUMBER 0.0))
Geography.kif 370-372
If the
measure
of
a physical
is
a real number
arc minute
(s),
then
the real number
is
greater
than or equal to 0.0
(=>
(
measure
?ANGLE
(
MeasureFn
?NUMBER
ArcMinute
))
(
lessThanOrEqualTo
?NUMBER 60.0))
Geography.kif 374-376
If the
measure
of
a physical
is
a real number
arc minute
(s),
then
the real number
is
less
than or equal to 60.0
(=>
(
measure
?ANGLE
(
MeasureFn
?NUMBER
ArcSecond
))
(
greaterThanOrEqualTo
?NUMBER 0.0))
Geography.kif 389-391
If the
measure
of
a physical
is
a real number
arc second
(s),
then
the real number
is
greater
than or equal to 0.0
(=>
(
measure
?ANGLE
(
MeasureFn
?NUMBER
ArcSecond
))
(
lessThanOrEqualTo
?NUMBER 60.0))
Geography.kif 393-395
If the
measure
of
a physical
is
a real number
arc second
(s),
then
the real number
is
less
than or equal to 60.0
(=>
(
measure
?OBJECT
(
VelocityFn
?DISTANCE ?TIME ?REF ?DIRECTION))
(
measure
?OBJECT
(
SpeedFn
?DISTANCE ?TIME)))
Merge.kif 6680-6682
If the
measure
of
a physical
is
a length measure
per
a time duration
in
a region
in the direction
a directional attribute
,
then the
measure
of
the physical
is
the length measure
per
the time duration
(=>
(
measure
?QUAKE
(
MeasureFn
?VALUE
RichterMagnitude
))
(
instance
?VALUE
PositiveRealNumber
))
Geography.kif 2349-2351
If the
measure
of
a physical
is
a real number
richter magnitude
(s),
then
the real number
is an
instance
of
positive real number
(=>
(
measure
?QUAKE
(
MeasureFn
?VALUE
RichterMagnitude
))
(
or
(
instance
?QUAKE
EarthTremor
)
(
instance
?QUAKE
Earthquake
)))
Geography.kif 2353-2357
If the
measure
of
a physical
is
a real number
richter magnitude
(s),
then
the physical
is an
instance
of
earth tremor
or
the physical
is an
instance
of
earthquake
(=>
(
measure
?SOLUTION
(
MeasureFn
?PH
PHValue
))
(
greaterThanOrEqualTo
?PH 0.0))
Geography.kif 2557-2559
If the
measure
of
a physical
is
a real number
PH value
(s),
then
the real number
is
greater
than or equal to 0.0
(=>
(
measure
?SOLUTION
(
MeasureFn
?PH
PHValue
))
(
lessThanOrEqualTo
?PH 14.0))
Geography.kif 2553-2555
If the
measure
of
a physical
is
a real number
PH value
(s),
then
the real number
is
less
than or equal to 14.0
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