MeasureFn
(=>
(
and
(
defaultMaximumMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT))
(
instance
?UNIT
CompositeUnitOfMeasure
))
(
modalAttribute
(
exists
(?INST ?QUANTITY)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT))
(
greaterThan
?QUANTITY ?Q)))
Unlikely
))
Mid-level-ontology.kif 13536-13545
If the
maximum
expected value of
a kind of object
is
a real number
an unit of measure
(s) and
the unit of measure
is an
instance
of
composite unit of measure
,
then the statement there exist
an entity
and
the real number
UANTITY such that
the entity
is an
instance
of
a kind of object
and the
measure
of
the entity
is
the real number
UANTITY
the unit of measure
(s) and
the real number
UANTITY is
greater
than
the real number
has the
modal
force
of
unlikely
(=>
(
and
(
defaultMaximumMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT1))
(
subclass
?UNITCLASS
NonCompositeUnitOfMeasure
)
(
instance
?UNIT1 ?UNITCLASS))
(
modalAttribute
(
exists
(?INST ?QUANTITY ?UNIT2)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT2))
(
instance
?UNIT2 ?UNITCLASS)
(
greaterThan
(
MeasureFn
?QUANTITY ?UNIT2)
(
MeasureFn
?Q ?UNIT1))))
Unlikely
))
Mid-level-ontology.kif 13547-13558
If the
maximum
expected value of
a kind of object
is
a real number
an unit of measure
(s) and
a class
is a
subclass
of
non composite unit of measure
and
the unit of measure
is an
instance
of
the class
,
then the statement there exist
an entity
,
the real number
UANTITY and
a third entity
such that
the entity
is an
instance
of
a kind of object
and the
measure
of
the entity
is
the real number
UANTITY
the third entity
(s) and
the third entity
is an
instance
of
the class
and
the real number
UANTITY
the third entity
(s) is
greater
than
the real number
the unit of measure
(s) has the
modal
force
of
unlikely
(=>
(
and
(
defaultMaximumSphereRadius
?OBJECT
(
MeasureFn
?R ?U))
(
instance
?INST ?OBJECT)
(
attribute
?INST
Sphere
))
(
modalAttribute
(
exists
(?RADIUS)
(
and
(
sphereRadius
?INST
(
MeasureFn
?RADIUS ?U))
(
greaterThan
?RADIUS ?R)))
Unlikely
))
Mid-level-ontology.kif 13486-13497
If the
maximum
expected radius of
a kind of object
is
a real number
an unit of measure
(s) and
another object
is an
instance
of
a kind of object
and
sphere
is an
attribute
of
the other object
,
then the statement there exists
the real number
ADIUS such that the
radius
of
the other object
is
the real number
ADIUS
the unit of measure
(s) and
the real number
ADIUS is
greater
than
the real number
has the
modal
force
of
unlikely
(=>
(
and
(
defaultMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT))
(
instance
?UNIT
CompositeUnitOfMeasure
))
(
modalAttribute
(
exists
(?INST ?QUANTITY)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT))
(
greaterThan
?QUANTITY
(
MultiplicationFn
?Q 1.5))))
Unlikely
))
Mid-level-ontology.kif 13566-13575
If the expected
value
of
a kind of object
is
a real number
an unit of measure
(s) and
the unit of measure
is an
instance
of
composite unit of measure
,
then the statement there exist
an entity
and
the real number
UANTITY such that
the entity
is an
instance
of
a kind of object
and the
measure
of
the entity
is
the real number
UANTITY
the unit of measure
(s) and
the real number
UANTITY is
greater
than
the real number
and 1.5 has the
modal
force
of
unlikely
(=>
(
and
(
defaultMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT))
(
instance
?UNIT
CompositeUnitOfMeasure
))
(
modalAttribute
(
exists
(?INST ?QUANTITY)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT))
(
lessThan
?QUANTITY
(
MultiplicationFn
?Q .5))))
Unlikely
))
Mid-level-ontology.kif 13577-13586
If the expected
value
of
a kind of object
is
a real number
an unit of measure
(s) and
the unit of measure
is an
instance
of
composite unit of measure
,
then the statement there exist
an entity
and
the real number
UANTITY such that
the entity
is an
instance
of
a kind of object
and the
measure
of
the entity
is
the real number
UANTITY
the unit of measure
(s) and
the real number
UANTITY is
less
than
the real number
and .5 has the
modal
force
of
unlikely
(=>
(
and
(
defaultMinimumMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT))
(
instance
?UNIT
CompositeUnitOfMeasure
))
(
modalAttribute
(
exists
(?INST ?QUANTITY)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT))
(
lessThan
?QUANTITY ?Q)))
Unlikely
))
Mid-level-ontology.kif 13505-13514
If the
minimum
expected value of
a kind of object
is
a real number
an unit of measure
(s) and
the unit of measure
is an
instance
of
composite unit of measure
,
then the statement there exist
an entity
and
the real number
UANTITY such that
the entity
is an
instance
of
a kind of object
and the
measure
of
the entity
is
the real number
UANTITY
the unit of measure
(s) and
the real number
UANTITY is
less
than
the real number
has the
modal
force
of
unlikely
(=>
(
and
(
defaultMinimumMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT1))
(
subclass
?UNITCLASS
NonCompositeUnitOfMeasure
)
(
instance
?UNIT1 ?UNITCLASS))
(
modalAttribute
(
exists
(?INST ?QUANTITY ?UNIT2)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT2))
(
instance
?UNIT2 ?UNITCLASS)
(
lessThan
?QUANTITY ?Q)))
Unlikely
))
Mid-level-ontology.kif 13516-13527
If the
minimum
expected value of
a kind of object
is
a real number
an unit of measure
(s) and
a class
is a
subclass
of
non composite unit of measure
and
the unit of measure
is an
instance
of
the class
,
then the statement there exist
an entity
,
the real number
UANTITY and
a third entity
such that
the entity
is an
instance
of
a kind of object
and the
measure
of
the entity
is
the real number
UANTITY
the third entity
(s) and
the third entity
is an
instance
of
the class
and
the real number
UANTITY is
less
than
the real number
has the
modal
force
of
unlikely
(=>
(
and
(
defaultMinimumSphereRadius
?OBJECT
(
MeasureFn
?R ?U))
(
instance
?INST ?OBJECT)
(
attribute
?INST
Sphere
))
(
modalAttribute
(
exists
(?RADIUS)
(
and
(
sphereRadius
?INST
(
MeasureFn
?RADIUS ?U))
(
lessThan
?RADIUS ?R)))
Unlikely
))
Mid-level-ontology.kif 13467-13477
If the
minimum
expected radius of
a kind of object
is
a real number
an unit of measure
(s) and
another object
is an
instance
of
a kind of object
and
sphere
is an
attribute
of
the other object
,
then the statement there exists
the real number
ADIUS such that the
radius
of
the other object
is
the real number
ADIUS
the unit of measure
(s) and
the real number
ADIUS is
less
than
the real number
has the
modal
force
of
unlikely
(=>
(
and
(
downPayment
?Loan
(
MeasureFn
?Amount ?CUNIT))
(
loanForPurchase
?Loan ?Purchase)
(
monetaryValue
?Purchase
(
MeasureFn
?Value ?CUNIT))
(
equal
?Balance
(
SubtractionFn
?Value ?Amount)))
(
originalBalance
?Loan
(
MeasureFn
?Balance ?CUNIT)))
FinancialOntology.kif 818-828
If
a real number
an unit of measure
(s) is a
down
payment of
a loan
and
an object
is a
loan
for purchase of
the loan
and
value
of
the object
is
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 third real number
the unit of measure
(s) is an
original
balance of
the loan
(=>
(
and
(
elevation
?OBJECT
(
MeasureFn
?NUM ?UNIT))
(
instance
?UNIT
UnitOfLength
)
(
instance
?OBJECT
LandForm
))
(
exists
(?HIGHPOINT)
(
and
(
top
?HIGHPOINT ?OBJECT)
(
distance
?HIGHPOINT
SeaLevel
(
MeasureFn
?NUM ?UNIT)))))
Geography.kif 1922-1930
If
a real number
an unit of measure
(s) is an
elevation
of
a self connected object
and
the unit of measure
is an
instance
of
unit of length
and
the self connected object
is an
instance
of
land form
,
then there exists
another self connected object
such that the
top
of
the self connected object
is
the other self connected object
and the
distance
between
the other self connected object
and
sea level
is
the real number
the unit of measure
(s)
(=>
(
and
(
engineIdleSpeed
?E
(
RotationFn
(
MeasureFn
?N1
MilesPerHour
) ?M))
(
instance
?A
Automobile
)
(
instance
?P
GasPedal
)
(
instance
?P
Pushing
)
(
destination
?P ?GP)
(
part
?E ?A)
(
part
?GP ?A)
(
instance
?C
Crankshaft
)
(
part
?C ?E)
(
holdsDuring
(
WhenFn
?P)
(
measure
?C
(
RotationFn
(
MeasureFn
?N2
MilesPerHour
) ?M))))
(
modalAttribute
(
greaterThan
?N2 ?N1)
Likely
))
Cars.kif 2585-2603
If the idle speed of
an internal combustion engine
is the rotation of
a real number
miles per hour
(s) during
a time duration
and
an object
is an
instance
of
automobile
and
a process
is an
instance
of
gas pedal
and
the process
is an
instance
of
pushing
and
the process
end
s up at
another object
and
the internal combustion engine
is a
part
of
the object
and
the other object
is a
part
of
the object
and
a third object
is an
instance
of
crankshaft
and
the third object
is a
part
of
the internal combustion engine
and the
measure
of
the third object
is the rotation of
an entity
miles per hour
(s) during
the time duration
holds
during
the
time
of existence of
the process
,
then the statement
the entity
is
greater
than
the real number
has the
modal
force
of
likely
(=>
(
and
(
equal
(
MeasureFn
?NUMBER ?UNIT) ?QUANT)
(
instance
?UNIT
UnitOfAngularMeasure
))
(
instance
?QUANT
AngleMeasure
))
Merge.kif 6394-6398
If
a real number
an unit of measure
(s) is
equal
to
a physical quantity
and
the unit of measure
is an
instance
of
unit of angular measure
,
then
the physical quantity
is an
instance
of
angle measure
(=>
(
and
(
equal
(
MeasureFn
?NUMBER ?UNIT) ?QUANT)
(
instance
?UNIT
UnitOfArea
))
(
instance
?QUANT
AreaMeasure
))
Merge.kif 6370-6374
If
a real number
an unit of measure
(s) is
equal
to
a physical quantity
and
the unit of measure
is an
instance
of
unit of area
,
then
the physical quantity
is an
instance
of
area measure
(=>
(
and
(
equal
(
MeasureFn
?NUMBER ?UNIT) ?QUANT)
(
instance
?UNIT
UnitOfCurrency
))
(
instance
?QUANT
CurrencyMeasure
))
Merge.kif 6388-6392
If
a real number
an unit of measure
(s) is
equal
to
a physical quantity
and
the unit of measure
is an
instance
of
unit of currency
,
then
the physical quantity
is an
instance
of
currency measure
(=>
(
and
(
equal
(
MeasureFn
?NUMBER ?UNIT) ?QUANT)
(
instance
?UNIT
UnitOfDuration
))
(
instance
?QUANT
TimeDuration
))
Merge.kif 6400-6404
If
a real number
an unit of measure
(s) is
equal
to
a physical quantity
and
the unit of measure
is an
instance
of
unit of duration
,
then
the physical quantity
is an
instance
of
time duration
(=>
(
and
(
equal
(
MeasureFn
?NUMBER ?UNIT) ?QUANT)
(
instance
?UNIT
UnitOfFrequency
))
(
instance
?QUANT
FrequencyMeasure
))
Merge.kif 6846-6850
If
a real number
an unit of measure
(s) is
equal
to
a physical quantity
and
the unit of measure
is an
instance
of
unit of frequency
,
then
the physical quantity
is an
instance
of
frequency measure
(=>
(
and
(
equal
(
MeasureFn
?NUMBER ?UNIT) ?QUANT)
(
instance
?UNIT
UnitOfInformation
))
(
instance
?QUANT
InformationMeasure
))
Merge.kif 6406-6410
If
a real number
an unit of measure
(s) is
equal
to
a physical quantity
and
the unit of measure
is an
instance
of
unit of information
,
then
the physical quantity
is an
instance
of
information measure
(=>
(
and
(
equal
(
MeasureFn
?NUMBER ?UNIT) ?QUANT)
(
instance
?UNIT
UnitOfLength
))
(
instance
?QUANT
LengthMeasure
))
Merge.kif 6358-6362
If
a real number
an unit of measure
(s) is
equal
to
a physical quantity
and
the unit of measure
is an
instance
of
unit of length
,
then
the physical quantity
is an
instance
of
length measure
(=>
(
and
(
equal
(
MeasureFn
?NUMBER ?UNIT) ?QUANT)
(
instance
?UNIT
UnitOfMass
))
(
instance
?QUANT
MassMeasure
))
Merge.kif 6364-6368
If
a real number
an unit of measure
(s) is
equal
to
a physical quantity
and
the unit of measure
is an
instance
of
unit of mass
,
then
the physical quantity
is an
instance
of
mass measure
(=>
(
and
(
equal
(
MeasureFn
?NUMBER ?UNIT) ?QUANT)
(
instance
?UNIT
UnitOfTemperature
))
(
instance
?QUANT
TemperatureMeasure
))
Merge.kif 6382-6386
If
a real number
an unit of measure
(s) is
equal
to
a physical quantity
and
the unit of measure
is an
instance
of
unit of temperature
,
then
the physical quantity
is an
instance
of
temperature measure
(=>
(
and
(
equal
(
MeasureFn
?NUMBER ?UNIT) ?QUANT)
(
instance
?UNIT
UnitOfVolume
))
(
instance
?QUANT
VolumeMeasure
))
Merge.kif 6376-6380
If
a real number
an unit of measure
(s) is
equal
to
a physical quantity
and
the unit of measure
is an
instance
of
unit of volume
,
then
the physical quantity
is an
instance
of
volume measure
(=>
(
and
(
equal
(
MeasureFn
?Y
McgPerKg
)
(
PerFn
?M1 ?M2))
(
equal
?M1
(
MeasureFn
?NUM1
(
MicroFn
Gram
)))
(
equal
?M2
(
MeasureFn
?NUM2
(
KiloFn
Gram
))))
(
exists
(?I ?B ?A)
(
and
(
instance
?I
Ingesting
)
(
instance
?B
BiologicallyActiveSubstance
)
(
instance
?A
Organism
)
(
patient
?I ?B)
(
agent
?I ?A)
(
weight
?B ?M1)
(
weight
?A ?M2))))
WMD.kif 823-840
If
a real number
micrograms per kilogram
(s) is
equal
to the
per
of
a mass measure
and
another mass measure
and
the mass measure
is
equal
to
another real number
one
millionth
of a
gram
(s) and
the other mass measure
is
equal
to
a third real number
1
thousand
gram
s(s),
then there exist
a process
,
a self connected object
and
another self connected object
such that
the process
is an
instance
of
ingesting
and
the self connected object
is an
instance
of
biologically active substance
and
the other self connected object
is an
instance
of
organism
and
the self connected object
is a
patient
of
the process
and
the other self connected object
is an
agent
of
the process
and
the mass measure
is a
weight
of
the self connected object
and
the other mass measure
is a
weight
of
the other self connected object
(=>
(
and
(
equal
?MEASURE
(
MeasureFn
?NUMBER
Rad
))
(
measure
?OBJ ?MEASURE))
(
absorbedDose
?OBJ ?MEASURE))
MilitaryProcesses.kif 862-866
If
a radiation measure
is
equal
to
a real number
rad
(s) and the
measure
of
an object
is
the radiation measure
,
then
the object
has absorbed a dose of radiation equal to
the radiation measure
(=>
(
and
(
governorSpeed
?V ?Q)
(
equal
(
MeasureFn
?FAST
MilesPerHour
)
(
SpeedFn
?L1 ?T1))
(
equal
(
MeasureFn
?SLOW
MilesPerHour
)
(
SpeedFn
?L2 ?T2))
(
greaterThan
?FAST ?SLOW)
(
equal
?FASTPROB
(
ProbabilityFn
(
measure
?V
(
MeasureFn
?FAST
MilesPerHour
))))
(
equal
?SLOWPROB
(
ProbabilityFn
(
measure
?V
(
MeasureFn
?SLOW
MilesPerHour
)))))
(
greaterThan
?SLOWPROB ?FASTPROB))
Cars.kif 2884-2902
If the maximum speed allowed by
a governor
is
a function quantity
and
a real number
miles per hour
(s) is
equal
to
a length measure
per
a time duration
and
another real number
miles per hour
(s) is
equal
to
another length measure
per
another time duration
and
the real number
is
greater
than
the other real number
and
the real number
PROB is
equal
to the
probability
of the
measure
of
the governor
is
the real number
miles per hour
(s) and
the other real number
PROB is
equal
to the
probability
of the
measure
of
the governor
is
the other real number
miles per hour
(s),
then
the other real number
PROB is
greater
than
the real number
PROB
(=>
(
and
(
holdsDuring
?T1
(
attribute
?F
Menopausal
))
(
equal
?BEFORE
(
SubtractionFn
(
MeasureFn
1
YearDuration
)
(
BeginFn
?T1)))
(
equal
?YBEFORE
(
TimeIntervalFn
?YBEFORE
(
BeginFn
?T1))))
(
not
(
exists
(?M)
(
and
(
instance
?M
Menstruation
)
(
experiencer
?M ?F)))))
Mid-level-ontology.kif 23889-23903
If
menopause
is an
attribute
of
an agent
holds
during
a time interval
and
a real number
is
equal
to (1
year duration
(s) and the
beginning
of
the time interval
) and
another time interval
is
equal
to
interval
between
the other time interval
and the
beginning
of
the time interval
,
then there doesn't exist
a process
such that
the process
is an
instance
of
menstruation
and
the agent
experience
s
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