Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
BeaufortNumber0
BeaufortNumber1
BeaufortNumber10
BeaufortNumber11
BeaufortNumber12
BeaufortNumber2
BeaufortNumber3
BeaufortNumber4
BeaufortNumber5
BeaufortNumber6
BeaufortNumber7
BeaufortNumber8
BeaufortNumber9
BeaufortNumberAttribute
ChineseLanguage
ChineseLanguge
ChineseTraditionalLanguage
ChinesehLanguage
Chineselanguage
EnglishLanguage
Englishlanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SpeedScaleAttribute
SwedishLanguage
speedScaleAttributeMinMax
windDrivenMotion
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
MultiplicationFn
Sigma KEE - MultiplicationFn
MultiplicationFn
appearance as argument number 1
(
documentation
MultiplicationFn
ChineseLanguage
"如果 ?NUMBER1 和 ?NUMBER2 是
Number
,那么 (
MultiplicationFn
?NUMBER1 ?NUMBER2)就是这些数字的算术积。")
chinese_format.kif 2212-2213
(
documentation
MultiplicationFn
EnglishLanguage
"If ?NUMBER1 and ?NUMBER2 are
Number
s, then (
MultiplicationFn
?NUMBER1 ?NUMBER2) is the arithmetical product of these numbers.")
Merge.kif 4526-4528
(
domain
MultiplicationFn
1
Number
)
Merge.kif 4522-4522
The number 1 argument of
multiplication
is an
instance
of
number
(
domain
MultiplicationFn
2
Number
)
Merge.kif 4523-4523
The number 2 argument of
multiplication
is an
instance
of
number
(
identityElement
MultiplicationFn
1)
Merge.kif 5023-5023
1 is an
identity
element of
multiplication
(
instance
MultiplicationFn
AssociativeFunction
)
Merge.kif 4518-4518
Multiplication
is an
instance
of
associative function
(
instance
MultiplicationFn
BinaryFunction
)
Merge.kif 4517-4517
Multiplication
is an
instance
of
binary function
(
instance
MultiplicationFn
CommutativeFunction
)
Merge.kif 4519-4519
Multiplication
is an
instance
of
commutative function
(
instance
MultiplicationFn
TotalValuedRelation
)
Merge.kif 4521-4521
Multiplication
is an
instance
of
total valued relation
(
range
MultiplicationFn
Number
)
Merge.kif 4524-4524
The
range
of
multiplication
is an instance of
number
appearance as argument number 2
(
format
ChineseLanguage
MultiplicationFn
"%*[*]")
chinese_format.kif 680-680
(
format
EnglishLanguage
MultiplicationFn
"%*[*]")
english_format.kif 685-685
(
termFormat
ChineseLanguage
MultiplicationFn
"乘法")
domainEnglishFormat.kif 39175-39175
(
termFormat
ChineseLanguage
MultiplicationFn
"乘法函数")
chinese_format.kif 681-681
(
termFormat
ChineseTraditionalLanguage
MultiplicationFn
"乘法")
domainEnglishFormat.kif 39174-39174
(
termFormat
EnglishLanguage
MultiplicationFn
"multiplication")
domainEnglishFormat.kif 39173-39173
antecedent
(=>
(
and
(
arableLandArea
?REGION ?FRACTION)
(
greaterThanOrEqualTo
?FRACTION 0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?UNIT
UnitOfArea
)
(
equal
?AMOUNT
(
MeasureFn
(
MultiplicationFn
?FRACTION ?TOTAL) ?UNIT)))
(
arableLandArea
?REGION ?AMOUNT))
Geography.kif 2040-2047
If
a number
is an
arable
land area of
a geographic area
and
the number
is
greater
than or equal to 0 and
a real number
an unit of measure
(s) is a
total
area of
the geographic area
and
the unit of measure
is an
instance
of
UnitOfArea
and
a constant quantity
is
equal
to
the number
and
the real number
the unit of measure
(s),
then
the constant quantity
is an
arable
land area of
the geographic area
(=>
(
and
(
arableLandArea
?REGION ?FRACTION)
(
greaterThanOrEqualTo
?FRACTION 0)
(
totalArea
?REGION ?TOTAL)
(
instance
?TOTAL
AreaMeasure
)
(
equal
?AMOUNT
(
MultiplicationFn
?FRACTION ?TOTAL)))
(
arableLandArea
?REGION ?AMOUNT))
Geography.kif 2031-2038
If
a number
is an
arable
land area of
a geographic area
and
the number
is
greater
than or equal to 0 and
another number
is a
total
area of
the geographic area
and
the other number
is an
instance
of
area measure
and
a third number
is
equal
to
the number
and
the other number
,
then
the third number
is an
arable
land area of
the geographic area
(=>
(
and
(
equal
?N4
(
MultiplicationFn
?N1
(
MultiplicationFn
?N2 ?N3)))
(
equal
?QUANT
(
MultiplicationFn
(
MeasureFn
?N1
FootLength
)
(
MultiplicationFn
(
MeasureFn
?N2
FootLength
)
(
MeasureFn
?N3
FootLength
)))))
(
equal
?QUANT
(
MeasureFn
?N4
CubicFoot
)))
Mid-level-ontology.kif 11264-11274
If
a real number
is
equal
to
another real number
and
a third real number
and
a fourth real number
and
a number
is
equal
to
the other real number
foot length
(s) and
the third real number
foot length
(s) and
the fourth real number
foot length
(s),
then
the number
is
equal
to
the real number
cubic foot
(s)
(=>
(
and
(
otherLandUseArea
?REGION ?FRACTION)
(
greaterThanOrEqualTo
?FRACTION 0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?UNIT
UnitOfArea
)
(
equal
?AMOUNT
(
MeasureFn
(
MultiplicationFn
?FRACTION ?TOTAL) ?UNIT)))
(
otherLandUseArea
?REGION ?AMOUNT))
Geography.kif 2130-2137
If
a number
is an
other
land use area of
a geographic area
and
the number
is
greater
than or equal to 0 and
a real number
an unit of measure
(s) is a
total
area of
the geographic area
and
the unit of measure
is an
instance
of
UnitOfArea
and
a constant quantity
is
equal
to
the number
and
the real number
the unit of measure
(s),
then
the constant quantity
is an
other
land use area of
the geographic area
(=>
(
and
(
otherLandUseArea
?REGION ?FRACTION)
(
greaterThanOrEqualTo
?FRACTION 0)
(
totalArea
?REGION ?TOTAL)
(
instance
?TOTAL
AreaMeasure
)
(
equal
?AMOUNT
(
MultiplicationFn
?FRACTION ?TOTAL)))
(
otherLandUseArea
?REGION ?AMOUNT))
Geography.kif 2121-2128
If
a number
is an
other
land use area of
a geographic area
and
the number
is
greater
than or equal to 0 and
another number
is a
total
area of
the geographic area
and
the other number
is an
instance
of
area measure
and
a third number
is
equal
to
the number
and
the other number
,
then
the third number
is an
other
land use area of
the geographic area
(=>
(
and
(
permanentCropLandArea
?REGION ?FRACTION)
(
greaterThanOrEqualTo
?FRACTION 0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?UNIT
UnitOfArea
)
(
equal
?AMOUNT
(
MeasureFn
(
MultiplicationFn
?FRACTION ?TOTAL) ?UNIT)))
(
permanentCropLandArea
?REGION ?AMOUNT))
Geography.kif 2088-2095
If
a number
is a
permanent
crop land area of
a geographic area
and
the number
is
greater
than or equal to 0 and
a real number
an unit of measure
(s) is a
total
area of
the geographic area
and
the unit of measure
is an
instance
of
UnitOfArea
and
a constant quantity
is
equal
to
the number
and
the real number
the unit of measure
(s),
then
the constant quantity
is a
permanent
crop land area of
the geographic area
(=>
(
and
(
permanentCropLandArea
?REGION ?FRACTION)
(
greaterThanOrEqualTo
?FRACTION 0)
(
totalArea
?REGION ?TOTAL)
(
instance
?TOTAL
AreaMeasure
)
(
equal
?AMOUNT
(
MultiplicationFn
?FRACTION ?TOTAL)))
(
permanentCropLandArea
?REGION ?AMOUNT))
Geography.kif 2079-2086
If
a number
is a
permanent
crop land area of
a geographic area
and
the number
is
greater
than or equal to 0 and
another number
is a
total
area of
the geographic area
and
the other number
is an
instance
of
area measure
and
a third number
is
equal
to
the number
and
the other number
,
then
the third number
is a
permanent
crop land area of
the geographic area
(=>
(
and
(
principalAmount
?Account ?Balance)
(
fixedInterestRate
?Account ?Rate)
(
compoundInterest
?Account ?Interest ?Period)
(
equal
?Rate-Decimal
(
DivisionFn
?Rate 100))
(
equal
?Add
(
AdditionFn
1 ?Rate-Decimal))
(
equal
?Exponent
(
ExponentiationFn
?Add
(
MagnitudeFn
?Period)))
(
equal
?Multiply
(
MultiplicationFn
?Exponent ?Balance)))
(
equal
?Interest
(
SubtractionFn
?Multiply ?Balance)))
FinancialOntology.kif 531-540
If
a number
is a
principal
amount of
a financial account
and
another number
is a
fixed
interest rate of
the financial account
and
the financial account
compound
interest
an interest
for
a time interval
and
the other number
-Decimal is
equal
to
the other number
and 100 and
a real number
is
equal
to (1 and
the other number
-Decimal) and
another real number
is
equal
to
the real number
raised to the
power
the
magnitude
of
the time interval
and
a third number
is
equal
to
the other real number
and
the number
,
then
the interest
is
equal
to (
the third number
and
the number
)
(=>
(
and
(
sectorCompositionOfGDPInPeriod
?AREA ?SECTOR ?FRACTION ?PERIOD)
(
totalGDPInPeriod
?AREA ?GDPAMOUNT ?PERIOD)
(
equal
?AMOUNT
(
MultiplicationFn
?FRACTION ?GDPAMOUNT)))
(
sectorValueOfGDPInPeriod
?AREA ?SECTOR ?AMOUNT ?PERIOD))
Economy.kif 1103-1108
If
a geopolitical area
%is
sector
composition of GDP in period
an industry attribute
for
a real number
with
a kind of time interval
and
the geopolitical area
is
totalGDP
in period
a number
for
a kind of time interval
and
another number
is
equal
to
the real number
and
the number
,
then
the geopolitical area
is
sector
value of GDP in period
the industry attribute
for
the other number
with
the kind of time interval
(=>
(
and
(
simpleInterest
?Account ?Interest ?Period)
(
principalAmount
?Account ?Principal)
(
equal
?Rate-Decimal
(
DivisionFn
?Interest ?Principal))
(
equal
?Rate
(
MultiplicationFn
?Rate-Decimal 100)))
(
interestRatePerPeriod
?Account ?Rate ?Period))
FinancialOntology.kif 550-556
If
a financial account
is
simple
interest
an interest
for
a time interval
and
a number
is a
principal
amount of
the financial account
and
another number
-Decimal is
equal
to
the interest
and
the number
and
the other number
is
equal
to
the other number
-Decimal and 100,
then
the financial account
is
interest
rate per period
the other number
for
the time interval
(=>
(
equal
?N
(
MultiplicationFn
1 ?N))
(
equal
(
MeasureFn
?N
MillenniumDuration
)
(
MeasureFn
(
MultiplicationFn
?N 1000)
YearDuration
)))
Mid-level-ontology.kif 11299-11303
If
a real number
is
equal
to 1 and
the real number
,
then
the real number
MillenniumDuration
(s) is
equal
to
the real number
and 1000
year duration
(s)
(=>
(
equal
?NUM
(
MultiplicationFn
1 ?NUM))
(
equal
(
MeasureFn
?NUM
NauticalMile
)
(
MeasureFn
(
MultiplicationFn
?NUM 1.151)
Mile
)))
Geography.kif 3719-3721
If
a real number
is
equal
to 1 and
the real number
,
then
the real number
nautical mile
(s) is
equal
to
the real number
and 1.151
mile
(s)
(=>
(
equal
?NUM
(
MultiplicationFn
1 ?NUM))
(
equal
(
MeasureFn
?NUM
NauticalMile
)
(
MeasureFn
(
MultiplicationFn
?NUM 1.852)
(
KiloFn
Meter
))))
Geography.kif 3711-3713
If
a real number
is
equal
to 1 and
the real number
,
then
the real number
nautical mile
(s) is
equal
to
the real number
and 1.852 1
thousand
meter
s(s)
(=>
(
equal
?NUM
(
MultiplicationFn
1 ?NUM))
(
equal
(
MeasureFn
?NUM
NauticalMile
)
(
MeasureFn
(
MultiplicationFn
?NUM 1852)
Meter
)))
Geography.kif 3707-3709
If
a real number
is
equal
to 1 and
the real number
,
then
the real number
nautical mile
(s) is
equal
to
the real number
and 1852
meter
(s)
(=>
(
equal
?NUM
(
MultiplicationFn
1 ?NUM))
(
equal
(
MeasureFn
?NUM
NauticalMile
)
(
MeasureFn
(
MultiplicationFn
?NUM 6076.1)
FootLength
)))
Geography.kif 3715-3717
If
a real number
is
equal
to 1 and
the real number
,
then
the real number
nautical mile
(s) is
equal
to
the real number
and 6076.1
foot length
(s)
(=>
(
equal
?NUM
(
MultiplicationFn
1 ?NUM))
(
equal
(
MeasureFn
?NUM
SquareKilometer
)
(
MeasureFn
(
MultiplicationFn
?NUM 1000000)
SquareMeter
)))
Geography.kif 627-630
If
a real number
is
equal
to 1 and
the real number
,
then
the real number
square kilometer
(s) is
equal
to
the real number
and 1000000
square meter
(s)
(=>
(
equal
?NUMBER
(
MultiplicationFn
1 ?NUMBER))
(
equal
(
MeasureFn
?NUMBER
CenturyDuration
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 100)
YearDuration
)))
Mid-level-ontology.kif 16882-16886
If
a real number
is
equal
to 1 and
the real number
,
then
the real number
CenturyDuration
(s) is
equal
to
the real number
and 100
year duration
(s)
(=>
(
equal
?NUMBER
(
MultiplicationFn
1 ?NUMBER))
(
equal
(
MeasureFn
?NUMBER
DecadeDuration
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 10)
YearDuration
)))
Merge.kif 8245-8249
If
a real number
is
equal
to 1 and
the real number
,
then
the real number
DecadeDuration
(s) is
equal
to
the real number
and 10
year duration
(s)
(=>
(
equal
?NUMBER
(
MultiplicationFn
1 ?NUMBER))
(
equal
(
MeasureFn
?NUMBER
Fathom
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 6)
FootLength
)))
Geography.kif 3679-3683
If
a real number
is
equal
to 1 and
the real number
,
then
the real number
fathom
(s) is
equal
to
the real number
and 6
foot length
(s)
(=>
(
equal
?NUMBER
(
MultiplicationFn
1 ?NUMBER))
(
equal
(
MeasureFn
?NUMBER
LongTon
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 2240)
PoundMass
)))
Mid-level-ontology.kif 11245-11249
If
a real number
is
equal
to 1 and
the real number
,
then
the real number
long ton
(s) is
equal
to
the real number
and 2240
pound mass
(s)
(=>
(
equal
?NUMBER
(
MultiplicationFn
1 ?NUMBER))
(
equal
(
MeasureFn
?NUMBER
Nanometer
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 0.000000001)
Meter
)))
Mid-level-ontology.kif 16899-16905
If
a real number
is
equal
to 1 and
the real number
,
then
the real number
Nanometer
(s) is
equal
to
the real number
and 0.000000001
meter
(s)
(=>
(
equal
?NUMBER
(
MultiplicationFn
1 ?NUMBER))
(
equal
(
MeasureFn
?NUMBER
RegistryTon
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 100)
CubicFoot
)))
Mid-level-ontology.kif 11284-11288
If
a real number
is
equal
to 1 and
the real number
,
then
the real number
registry ton
(s) is
equal
to
the real number
and 100
cubic foot
(s)
(=>
(
equal
?NUMBER
(
MultiplicationFn
1 ?NUMBER))
(
equal
(
MeasureFn
?NUMBER
TonMass
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 2000)
PoundMass
)))
Mid-level-ontology.kif 11218-11222
If
a real number
is
equal
to 1 and
the real number
,
then
the real number
ton mass
(s) is
equal
to
the real number
and 2000
pound mass
(s)
(=>
(
equal
?NUMBER
(
MultiplicationFn
1 ?NUMBER))
(
equal
(
MeasureFn
?NUMBER
YardLength
)
(
MeasureFn
(
MultiplicationFn
3 ?NUMBER)
FootLength
)))
Mid-level-ontology.kif 16891-16895
If
a real number
is
equal
to 1 and
the real number
,
then
the real number
yard length
(s) is
equal
to 3 and
the real number
foot length
(s)
consequent
(<=>
(
and
(
instance
?UNIT
UnitOfMeasure
)
(
equal
?AMOUNT
(
MeasureFn
1
(
SquareUnitFn
?UNIT))))
(
equal
?AMOUNT
(
MultiplicationFn
(
MeasureFn
1 ?UNIT)
(
MeasureFn
1 ?UNIT))))
Geography.kif 3761-3765
An unit of measure
is an
instance
of
unit of measure
and
a number
is
equal
to 1 the
square
unit of
the unit of measure
(s) if and only if
the number
is
equal
to 1
the unit of measure
(s) and 1
the unit of measure
(s)
(<=>
(
equal
(
RemainderFn
?NUMBER1 ?NUMBER2) ?NUMBER)
(
equal
(
AdditionFn
(
MultiplicationFn
(
FloorFn
(
DivisionFn
?NUMBER1 ?NUMBER2)) ?NUMBER2) ?NUMBER) ?NUMBER1))
Merge.kif 4904-4906
An integer
mod
another integer
is
equal
to
a third integer
if and only if (the
largest
integer less than or equal to
the integer
and
the other integer
and
the other integer
and
the third integer
) is
equal
to
the integer
(<=>
(
measure
?O
(
MeasureFn
?A
MetricTon
))
(
measure
?O
(
MeasureFn
(
MultiplicationFn
?A 2205)
PoundMass
)))
Mid-level-ontology.kif 11232-11238
The
measure
of
a physical
is
a real number
metric ton
(s) if and only if the
measure
of
the physical
is
the real number
and 2205
pound mass
(s)
(<=>
(
measure
?OBJ
(
MeasureFn
?DEG
AngularDegree
))
(
measure
?OBJ
(
MeasureFn
(
MultiplicationFn
60 ?DEG)
ArcMinute
)))
Geography.kif 378-380
The
measure
of
a physical
is
a real number
angular degree
(s) if and only if the
measure
of
the physical
is 60 and
the real number
arc minute
(s)
(<=>
(
measure
?OBJ
(
MeasureFn
?DEG
ArcMinute
))
(
measure
?OBJ
(
MeasureFn
(
MultiplicationFn
60 ?DEG)
ArcSecond
)))
Geography.kif 397-399
The
measure
of
a physical
is
a real number
arc minute
(s) if and only if the
measure
of
the physical
is 60 and
the real number
arc second
(s)
(=>
(
and
(
arableLandArea
?REGION ?FRACTION)
(
greaterThanOrEqualTo
?FRACTION 0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?UNIT
UnitOfArea
))
(
exists
(?ARABLE)
(
and
(
instance
?ARABLE
ArableLand
)
(
geographicSubregion
?ARABLE ?REGION)
(
measure
?ARABLE
(
MeasureFn
(
MultiplicationFn
?FRACTION ?TOTAL) ?UNIT)))))
Geography.kif 2049-2059
If
a number
is an
arable
land area of
a geographic area
and
the number
is
greater
than or equal to 0 and
a real number
an unit of measure
(s) is a
total
area of
the geographic area
and
the unit of measure
is an
instance
of
UnitOfArea
,
then there exists
another geographic area
such that
the other geographic area
is an
instance
of
arable land
and
the other geographic area
is a
geographic
subregion of
the geographic area
and the
measure
of
the other geographic area
is
the number
and
the real number
the unit of measure
(s)
(=>
(
and
(
attribute
?H
Muslim
)
(
equal
(
WealthFn
?H) ?W))
(
modalAttribute
(
exists
(?Z ?T)
(
and
(
instance
?Z
Zakat
)
(
instance
?Y
Year
)
(
during
?Y
(
WhenFn
?H))
(
holdsDuring
?Y
(
attribute
?H
FullyFormed
))
(
agent
?Z ?H)
(
patient
?Z ?T)
(
monetaryValue
?T ?C)
(
greaterThan
?C
(
MultiplicationFn
?W 0.025))))
Obligation
))
ArabicCulture.kif 193-210
If
muslim
is an
attribute
of
an agent
and
value
of belongings of
the agent
is
equal
to
a currency measure
,
then the statement there exist
an entity
and
another entity
such that
the entity
is an
instance
of
zakat
and
a third entity
is an
instance
of
year
and
the third entity
takes place
during
the
time
of existence of
the agent
and
fully formed
is an
attribute
of
the agent
holds
during
the third entity
and
the agent
is an
agent
of
the entity
and
the other entity
is a
patient
of
the entity
and
value
of
the other entity
is
a fourth entity
and
the fourth entity
is
greater
than
the currency measure
and 0.025 has the
modal
force
of
obligation
(=>
(
and
(
comparativeArea
?REGION1 ?RELATION ?FACTOR ?REGION2)
(
instance
?UNIT
UnitOfArea
)
(
measure
?REGION1
(
MeasureFn
?NUM1 ?UNIT))
(
measure
?REGION2
(
MeasureFn
?NUM2 ?UNIT)))
(?RELATION
(
MeasureFn
?NUM1 ?UNIT)
(
MeasureFn
(
MultiplicationFn
?FACTOR ?NUM2) ?UNIT)))
Geography.kif 658-668
If
a geographic area
comparative
area
a BinaryRelationExtendedToQuantities
for
a positive real number
with
another geographic area
and
an unit of measure
is an
instance
of
UnitOfArea
and the
measure
of
the geographic area
is
a real number
the unit of measure
(s) and the
measure
of
the other geographic area
is
another real number
the unit of measure
(s),
then
the BinaryRelationExtendedToQuantities
the real number
the unit of measure
(s) and
the positive real number
and
the other real number
the unit of measure
(s)
(=>
(
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 11193-11202
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
CompositeUnitOfMeasure
,
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 11204-11213
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
CompositeUnitOfMeasure
,
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
(
equal
?VA
(
VarianceAverageFn
?M ?L))
(
equal
1
(
ListLengthFn
?L)))
(
equal
?VA
(
MultiplicationFn
(
SubtractionFn
?M
(
ListOrderFn
?L 1))
(
SubtractionFn
?M
(
ListOrderFn
?L 1)))))
Weather.kif 1229-1240
If
a number
is
equal
to
variance average function
another number
and
a list
and 1 is
equal
to
length
of
the list
,
then
the number
is
equal
to (
the other number
and 1th
element
of
the list
) and (
the other number
and 1th
element
of
the list
)
(=>
(
and
(
instance
?NUMBER
Integer
)
(
not
(
equal
?NUMBER 0)))
(
equal
1
(
MultiplicationFn
?NUMBER
(
ReciprocalFn
?NUMBER))))
Merge.kif 4886-4891
If
a real number
is an
instance
of
integer
and
the real number
is not
equal
to 0,
then 1 is
equal
to
the real number
and the
reciprocal
of
the real number
(=>
(
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 3070-3084
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 number
(s) holds
during
the time position
,
then the
measure
of
the other wire coil
is
volt
another number
(s) holds
during
the time position
and
the other number
is
equal
to
the number
and
the other integer
and
the integer
(=>
(
and
(
instance
?WW
WaterWave
)
(
waveHeight
?WW ?WH))
(
exists
(?LIST ?WA ?U)
(
and
(
inList
?WH ?LIST)
(
instance
?WA
WaterArea
)
(
eventLocated
?WW ?WA)
(
instance
?U
LengthMeasure
)
(
significantWaveHeight
?WA
(
WhenFn
?WW)
(
MeasureFn
?SWH ?U))
(
equal
?SWH
(
MultiplicationFn
4
(
StandardDeviationFn
?LIST))))))
Weather.kif 1275-1290
If
a water wave
is an
instance
of
water wave
and The
waveHeight
of
the water wave
a length measure
.,
then there exist
a list
,
a water area
and
an unit of measure
such that
the length measure
is a
member
of
the list
and
the water area
is an
instance
of
water area
and
the water wave
is
located
at
2
and
the unit of measure
is an
instance
of
length measure
and
significantWaveHeight
in
the water area
during the
time
of existence of
the water wave
is
a real number
the unit of measure
(s). and
the real number
is
equal
to 4 and The
StandardDeviationFn
of
the list
(=>
(
and
(
otherLandUseArea
?REGION ?FRACTION)
(
greaterThanOrEqualTo
?FRACTION 0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?UNIT
UnitOfArea
))
(
exists
(?OTHER)
(
and
(
instance
?OTHER
LandArea
)
(
not
(
instance
?OTHER
ArableLand
))
(
not
(
instance
?OTHER
PermanentCropLand
))
(
geographicSubregion
?OTHER ?REGION)
(
measure
?OTHER
(
MeasureFn
(
MultiplicationFn
?FRACTION ?TOTAL) ?UNIT)))))
Geography.kif 2139-2151
If
a number
is an
other
land use area of
a geographic area
and
the number
is
greater
than or equal to 0 and
a real number
an unit of measure
(s) is a
total
area of
the geographic area
and
the unit of measure
is an
instance
of
UnitOfArea
,
then there exists
another geographic area
such that
the other geographic area
is an
instance
of
land area
and
the other geographic area
is not an
instance
of
arable land
and
the other geographic area
is not an
instance
of
permanent crop land
and
the other geographic area
is a
geographic
subregion of
the geographic area
and the
measure
of
the other geographic area
is
the number
and
the real number
the unit of measure
(s)
(=>
(
and
(
permanentCropLandArea
?REGION ?FRACTION)
(
greaterThanOrEqualTo
?FRACTION 0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?UNIT
UnitOfArea
))
(
exists
(?PERMCROP)
(
and
(
instance
?PERMCROP
PermanentCropLand
)
(
geographicSubregion
?PERMCROP ?REGION)
(
measure
?PERMCROP
(
MeasureFn
(
MultiplicationFn
?FRACTION ?TOTAL) ?UNIT)))))
Geography.kif 2097-2107
If
a number
is a
permanent
crop land area of
a geographic area
and
the number
is
greater
than or equal to 0 and
a real number
an unit of measure
(s) is a
total
area of
the geographic area
and
the unit of measure
is an
instance
of
UnitOfArea
,
then there exists
another geographic area
such that
the other geographic area
is an
instance
of
permanent crop land
and
the other geographic area
is a
geographic
subregion of
the geographic area
and the
measure
of
the other geographic area
is
the number
and
the real number
the unit of measure
(s)
(=>
(
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 2160-2170
If
an agent
possess
es
an object
and the
measure
of
the object
is
a real number
ShareUnit
(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
ShareUnit
(s) holds
during
immediately
after
the
time
of existence of
the stock split
(=>
(
and
(
price
?Stocks
(
MeasureFn
?Number
UnitedStatesDollar
) ?Time)
(
exists
(?Event)
(
and
(
splitFor
?Event ?N1 ?N2)
(
equal
(
WhenFn
?Event) ?TimeOfSplit))))
(
and
(
equal
?N3
(
MultiplicationFn
?Number ?N1))
(
equal
?NewNumber
(
DivisionFn
?N3 ?N2))
(
price
?Stocks
(
MeasureFn
?NewNumber
UnitedStatesDollar
) ?TimeAfterSplit)
(
meetsTemporally
?Time ?TimeOfSplit)
(
meetsTemporally
?TimeOfSplit ?TimeAfterSplit)))
FinancialOntology.kif 2172-2184
If
a physical
is
price
a real number
united states dollar
(s) for
an agent
and there exists
a stock split
such that
the stock split
is
split
for
an integer
for
another integer
and the
time
of existence of
the stock split
is
equal
to
the agent
OfSplit,
then
a number
is
equal
to
the real number
and
the integer
and
another real number
is
equal
to
the number
and
the other integer
and
the physical
is
price
the other real number
united states dollar
(s) for
the agent
AfterSplit and
the agent
meet
s
the agent
OfSplit and
the agent
OfSplit
meet
s
the agent
AfterSplit
(=>
(
and
(
principalAmount
?Account ?Balance)
(
fixedInterestRate
?Account ?Rate)
(
simpleInterest
?Account ?Amount ?Period)
(
equal
?Rate-Decimal
(
DivisionFn
(
MagnitudeFn
?Rate) 100)))
(
equal
?Amount
(
MultiplicationFn
(
MultiplicationFn
(
MagnitudeFn
?Period) ?Balance) ?Rate-Decimal)))
FinancialOntology.kif 513-519
If
a number
is a
principal
amount of
a financial account
and
an interest rate
is a
fixed
interest rate of
the financial account
and
the financial account
is
simple
interest
an interest
for
a time interval
and
the interest rate
-Decimal is
equal
to the
magnitude
of
the interest rate
and 100,
then
the interest
is
equal
to the
magnitude
of
the time interval
and
the number
and
the interest rate
-Decimal
(=>
(
attribute
?F
Flat
)
(
and
(
side
?S1 ?F)
(
side
?S2 ?F)
(
meetsSpatially
?S1 ?S2)
(
not
(
equal
?S1 ?S2))
(
height
?F
(
MeasureFn
?HF ?U))
(
height
?S1
(
MeasureFn
?H1 ?U))
(
height
?S2
(
MeasureFn
?H2 ?U))
(
greaterThan
?H1
(
MultiplicationFn
2 ?HF))
(
greaterThan
?H2
(
MultiplicationFn
2 ?HF))))
Mid-level-ontology.kif 3253-3264
If
flat
is an
attribute
of
a self connected object
,
then a
side
of
the self connected object
is
another self connected object
and a
side
of
the self connected object
is
a third self connected object
and
the other self connected object
meet
s
the third self connected object
and
the other self connected object
is not
equal
to
the third self connected object
and the
height
of
the self connected object
is
a real number
an unit of measure
(s) and the
height
of
the other self connected object
is
another real number
the unit of measure
(s) and the
height
of
the third self connected object
is
a third real number
the unit of measure
(s) and
the other real number
is
greater
than 2 and
the real number
and
the third real number
is
greater
than 2 and
the real number
(=>
(
attribute
?F
LongAndThin
)
(
and
(
side
?S1 ?F)
(
side
?S2 ?F)
(
meetsSpatially
?S1 ?S2)
(
not
(
equal
?S1 ?S2))
(
length
?F
(
MeasureFn
?HF ?U))
(
length
?S1
(
MeasureFn
?H1 ?U))
(
length
?S2
(
MeasureFn
?H2 ?U))
(
lessThan
?H1
(
MultiplicationFn
3 ?HF))
(
lessThan
?H2
(
MultiplicationFn
3 ?HF))))
Mid-level-ontology.kif 3277-3288
If
long and thin
is an
attribute
of
a self connected object
,
then a
side
of
the self connected object
is
another self connected object
and a
side
of
the self connected object
is
a third self connected object
and
the other self connected object
meet
s
the third self connected object
and
the other self connected object
is not
equal
to
the third self connected object
and the
length
of
the self connected object
is
a real number
an unit of measure
(s) and the
length
of
the other self connected object
is
another real number
the unit of measure
(s) and the
length
of
the third self connected object
is
a third real number
the unit of measure
(s) and
the other real number
is
less
than 3 and
the real number
and
the third real number
is
less
than 3 and
the real number
(=>
(
diameter
?CIRCLE ?LENGTH)
(
exists
(?NHALF ?UHALF)
(
and
(
radius
?CIRCLE
(
MeasureFn
?NHALF ?UHALF))
(
equal
(
MeasureFn
(
MultiplicationFn
?NHALF 2) ?UHALF) ?LENGTH))))
Merge.kif 7294-7299
If the
diameter
of
a circle
is
a length measure
,
then there exist
a real number
and
an unit of measure
such that
the circle
の
radius
は
the real number
the unit of measure
(s) では %n and
the real number
and 2
the unit of measure
(s) is
equal
to
the length measure
(=>
(
equal
(
DiameterFn
?C)
(
MeasureFn
?L ?U))
(
exists
(?R)
(
and
(
equal
(
RadiusFn
?C)
(
MeasureFn
?R ?U))
(
equal
(
MultiplicationFn
?R 2) ?L))))
Mid-level-ontology.kif 5255-5260
If the
diameter
of
a circle
is
equal
to
a real number
an unit of measure
(s),
then there exists
another real number
such that the
radius
of
the circle
is
equal
to
the other real number
the unit of measure
(s) and
the other real number
and 2 is
equal
to
the real number
(=>
(
equal
(
SquareRootFn
?NUMBER1) ?NUMBER2)
(
equal
(
MultiplicationFn
?NUMBER2 ?NUMBER2) ?NUMBER1))
Merge.kif 4987-4989
If the
squareRoot
of
a real number
is
equal
to
another real number
,
then
the other real number
and
the other real number
is
equal
to
the real number
(=>
(
equal
?AMOUNT
(
MeasureFn
?NUM
NauticalMile
))
(
equal
?AMOUNT
(
MeasureFn
(
MultiplicationFn
?NUM 1.151)
Mile
)))
Geography.kif 3703-3705
If
a physical quantity
is
equal
to
a real number
nautical mile
(s),
then
the physical quantity
is
equal
to
the real number
and 1.151
mile
(s)
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
(
equal
(
MeasureFn
1
CubicFoot
)
(
MultiplicationFn
(
MeasureFn
1
FootLength
)
(
MultiplicationFn
(
MeasureFn
1
FootLength
)
(
MeasureFn
1
FootLength
))))
Mid-level-ontology.kif 11256-11262
1
Cubic foot
(s) is
equal
to 1
foot length
(s) and 1
foot length
(s) and 1
foot length
(s)
(
equal
(
MeasureFn
1
SquareKilometer
)
(
MultiplicationFn
(
MeasureFn
1
(
KiloFn
Meter
))
(
MeasureFn
1
(
KiloFn
Meter
))))
Geography.kif 624-625
1
Square kilometer
(s) is
equal
to 1 1
thousand
meter
s(s) and 1 1
thousand
meter
s(s)
(
equal
(
MeasureFn
1
SquareMeter
)
(
MultiplicationFn
(
MeasureFn
1
Meter
)
(
MeasureFn
1
Meter
)))
Geography.kif 3749-3750
1
Square meter
(s) is
equal
to 1
meter
(s) and 1
meter
(s)
(
equal
(
MeasureFn
?DEG
ArcMinute
)
(
MeasureFn
(
MultiplicationFn
60 ?DEG)
ArcSecond
))
Geography.kif 402-402
A real number
arc minute
(s) is
equal
to 60 and
the real number
arc second
(s)
(
equal
(
MeasureFn
?NUM
AngularDegree
)
(
MeasureFn
(
MultiplicationFn
60 ?NUM)
ArcMinute
))
Geography.kif 383-383
A real number
angular degree
(s) is
equal
to 60 and
the real number
arc minute
(s)
(
equal
(
MeasureFn
?NUMBER
Amu
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1.6605402
E-24
)
Gram
))
Merge.kif 6866-6868
A real number
amu
(s) is
equal
to
the real number
and 1.6605402E-24
gram
(s)
(
equal
(
MeasureFn
?NUMBER
Angstrom
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1.0
E-10
)
Meter
))
Merge.kif 6888-6890
A real number
angstrom
(s) is
equal
to
the real number
and 1.0E-10
meter
(s)
(
equal
(
MeasureFn
?NUMBER
AngularDegree
)
(
MeasureFn
(
MultiplicationFn
?NUMBER
(
DivisionFn
Pi
180.0))
Radian
))
Merge.kif 7082-7084
A real number
angular degree
(s) is
equal
to
the real number
and
pi
and 180.0
radian
(s)
(
equal
(
MeasureFn
?NUMBER
BritishThermalUnit
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1055.05585262)
Joule
))
Merge.kif 7068-7070
A real number
british thermal unit
(s) is
equal
to
the real number
and 1055.05585262
joule
(s)
(
equal
(
MeasureFn
?NUMBER
Byte
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 8)
Bit
))
Merge.kif 7140-7142
A real number
byte
(s) is
equal
to
the real number
and 8
bit
(s)
(
equal
(
MeasureFn
?NUMBER
Calorie
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 4.1868)
Joule
))
Merge.kif 7060-7062
A real number
calorie
(s) is
equal
to
the real number
and 4.1868
joule
(s)
(
equal
(
MeasureFn
?NUMBER
Centimeter
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 0.01)
Meter
))
Merge.kif 6499-6501
A real number
centimeter
(s) is
equal
to
the real number
and 0.01
meter
(s)
(
equal
(
MeasureFn
?NUMBER
DayDuration
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 24)
HourDuration
))
Merge.kif 6806-6808
A real number
day duration
(s) is
equal
to
the real number
and 24
hour duration
(s)
(
equal
(
MeasureFn
?NUMBER
ElectronVolt
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1.60217733
E-19
)
Joule
))
Merge.kif 6876-6878
A real number
electron volt
(s) is
equal
to
the real number
and 1.60217733E-19
joule
(s)
(
equal
(
MeasureFn
?NUMBER
EuroCent
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 0.01)
EuroDollar
))
Merge.kif 7120-7122
A real number
euro cent
(s) is
equal
to
the real number
and 0.01
euro dollar
(s)
(
equal
(
MeasureFn
?NUMBER
FootLength
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 0.3048)
Meter
))
Merge.kif 6901-6903
A real number
foot length
(s) is
equal
to
the real number
and 0.3048
meter
(s)
(
equal
(
MeasureFn
?NUMBER
HourDuration
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 60)
MinuteDuration
))
Merge.kif 6814-6816
A real number
hour duration
(s) is
equal
to
the real number
and 60
minute duration
(s)
(
equal
(
MeasureFn
?NUMBER
Inch
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 0.0254)
Meter
))
Merge.kif 6908-6910
A real number
inch
(s) is
equal
to
the real number
and 0.0254
meter
(s)
(
equal
(
MeasureFn
?NUMBER
KiloByte
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1024)
Byte
))
Merge.kif 7150-7152
A real number
kilo byte
(s) is
equal
to
the real number
and 1024
byte
(s)
(
equal
(
MeasureFn
?NUMBER
Kilogram
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1000)
Gram
))
Merge.kif 6994-6997
A real number
kilogram
(s) is
equal
to
the real number
and 1000
gram
(s)
(
equal
(
MeasureFn
?NUMBER
Kilometer
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1000)
Meter
))
Merge.kif 6518-6521
A real number
kilometer
(s) is
equal
to
the real number
and 1000
meter
(s)
(
equal
(
MeasureFn
?NUMBER
MegaByte
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1024)
KiloByte
))
Merge.kif 7160-7162
A real number
mega byte
(s) is
equal
to
the real number
and 1024
kilo byte
(s)
(
equal
(
MeasureFn
?NUMBER
Micrometer
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 0.0000001)
Meter
))
Geography.kif 6528-6531
A real number
micrometer
(s) is
equal
to
the real number
and 0.0000001
meter
(s)
(
equal
(
MeasureFn
?NUMBER
Mile
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1609.344)
Meter
))
Merge.kif 6915-6917
A real number
mile
(s) is
equal
to
the real number
and 1609.344
meter
(s)
(
equal
(
MeasureFn
?NUMBER
Millimeter
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 0.001)
Meter
))
Merge.kif 6508-6511
A real number
millimeter
(s) is
equal
to
the real number
and 0.001
meter
(s)
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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