Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
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 4607-4609
(
domain
MultiplicationFn
1
RealNumber
)
Merge.kif 4603-4603
The number 1 argument of
multiplication
is an
instance
of
real number
(
domain
MultiplicationFn
2
RealNumber
)
Merge.kif 4604-4604
The number 2 argument of
multiplication
is an
instance
of
real number
(
identityElement
MultiplicationFn
1)
Merge.kif 5194-5194
1 is an
identity
element of
multiplication
(
instance
MultiplicationFn
AssociativeFunction
)
Merge.kif 4599-4599
Multiplication
is an
instance
of
associative function
(
instance
MultiplicationFn
BinaryFunction
)
Merge.kif 4598-4598
Multiplication
is an
instance
of
binary function
(
instance
MultiplicationFn
CommutativeFunction
)
Merge.kif 4600-4600
Multiplication
is an
instance
of
commutative function
(
instance
MultiplicationFn
TotalValuedRelation
)
Merge.kif 4602-4602
Multiplication
is an
instance
of
total valued relation
(
range
MultiplicationFn
RealNumber
)
Merge.kif 4605-4605
The
range
of
multiplication
is an instance of
real number
appearance as argument number 2
(
format
ChineseLanguage
MultiplicationFn
"%*[*]")
chinese_format.kif 680-680
(
format
EnglishLanguage
MultiplicationFn
"%*[*]")
english_format.kif 682-682
(
termFormat
ChineseLanguage
MultiplicationFn
"乘法")
domainEnglishFormat.kif 39168-39168
(
termFormat
ChineseLanguage
MultiplicationFn
"乘法函数")
chinese_format.kif 681-681
(
termFormat
ChineseTraditionalLanguage
MultiplicationFn
"乘法")
domainEnglishFormat.kif 39167-39167
(
termFormat
EnglishLanguage
MultiplicationFn
"multiplication")
domainEnglishFormat.kif 39166-39166
antecedent
(=>
(
and
(
arableLandArea
?REGION
(
MeasureFn
?FRACTION ?UNIT))
(
greaterThanOrEqualTo
?FRACTION 0.0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?TOTAL
AreaMeasure
)
(
equal
?AMOUNT
(
MultiplicationFn
?FRACTION ?TOTAL)))
(
arableLandArea
?REGION
(
MeasureFn
?AMOUNT ?UNIT)))
Geography.kif 2083-2093
If
a real number
an unit of measure
(s) is an
arable
land area of
a geographic area
and
the real number
is
greater
than or equal to 0.0 and
another real number
the unit of measure
(s) is a
total
area of
the geographic area
and
the other real number
is an
instance
of
area measure
and
a third real number
is
equal
to
the real number
and
the other real number
,
then
the third real number
the unit of measure
(s) is an
arable
land area of
the geographic area
(=>
(
and
(
not
(
equal
?NUMBER2 0))
(
equal
(
AdditionFn
(
MultiplicationFn
(
FloorFn
(
DivisionFn
?NUMBER1 ?NUMBER2)) ?NUMBER2) ?NUMBER) ?NUMBER1))
(
equal
(
RemainderFn
?NUMBER1 ?NUMBER2) ?NUMBER))
Merge.kif 5021-5032
If
an integer
is not
equal
to 0 and (the
largest
integer less than or equal to
another integer
and
the integer
and
the integer
and
a third integer
) is
equal
to
the other integer
,
then
the other integer
mod
the integer
is
equal
to
the third integer
(=>
(
and
(
otherLandUseArea
?REGION
(
MeasureFn
?FRACTION ?UNIT))
(
greaterThanOrEqualTo
?FRACTION 0.0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?UNIT
UnitOfArea
)
(
equal
?AMOUNT
(
MultiplicationFn
?FRACTION ?TOTAL)))
(
otherLandUseArea
?REGION
(
MeasureFn
?AMOUNT ?UNIT)))
Geography.kif 2168-2179
If
a real number
an unit of measure
(s) is an
other
land use area of
a geographic area
and
the real number
is
greater
than or equal to 0.0 and
another real number
the unit of measure
(s) is a
total
area of
the geographic area
and
the unit of measure
is an
instance
of
UnitOfArea
and
a third real number
is
equal
to
the real number
and
the other real number
,
then
the third real number
the unit of measure
(s) is an
other
land use area of
the geographic area
(=>
(
and
(
permanentCropLandArea
?REGION
(
MeasureFn
?FRACTION ?UNIT))
(
greaterThanOrEqualTo
?FRACTION 0.0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?UNIT
UnitOfArea
)
(
equal
?AMOUNT
(
MultiplicationFn
?FRACTION ?TOTAL)))
(
permanentCropLandArea
?REGION
(
MeasureFn
?AMOUNT ?UNIT)))
Geography.kif 2128-2139
If
a real number
an unit of measure
(s) is a
permanent
crop land area of
a geographic area
and
the real number
is
greater
than or equal to 0.0 and
another real number
the unit of measure
(s) is a
total
area of
the geographic area
and
the unit of measure
is an
instance
of
UnitOfArea
and
a third real number
is
equal
to
the real number
and
the other real number
,
then
the third real number
the unit of measure
(s) is a
permanent
crop land area of
the geographic area
(=>
(
and
(
sectorCompositionOfGDPInPeriod
?AREA ?SECTOR ?FRACTION ?PERIOD)
(
totalGDPInPeriod
?AREA
(
MeasureFn
?GDPAMOUNT ?CUNIT) ?PERIOD)
(
equal
?AMOUNT
(
MultiplicationFn
?FRACTION ?GDPAMOUNT)))
(
sectorValueOfGDPInPeriod
?AREA ?SECTOR
(
MeasureFn
?AMOUNT ?CUNIT) ?PERIOD))
Economy.kif 1102-1110
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
another real number
an unit of measure
(s) for
a kind of time interval
and
a third real number
is
equal
to
the real number
and
the other real number
,
then
the geopolitical area
is
sector
value of GDP in period
the industry attribute
for
the third real number
the unit of measure
(s) with
the kind of time interval
(=>
(
equal
?N
(
MultiplicationFn
1 ?N))
(
equal
(
MeasureFn
?N
MillenniumDuration
)
(
MeasureFn
(
MultiplicationFn
?N 1000)
YearDuration
)))
Mid-level-ontology.kif 13149-13153
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.0 ?NUM))
(
equal
(
MeasureFn
?NUM
NauticalMile
)
(
MeasureFn
(
MultiplicationFn
?NUM 1.151)
Mile
)))
Geography.kif 3834-3841
If
a real number
is
equal
to 1.0 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.0 ?NUM))
(
equal
(
MeasureFn
?NUM
NauticalMile
)
(
MeasureFn
(
MultiplicationFn
?NUM 1.852)
(
KiloFn
Meter
))))
Geography.kif 3816-3823
If
a real number
is
equal
to 1.0 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.0 ?NUM))
(
equal
(
MeasureFn
?NUM
NauticalMile
)
(
MeasureFn
(
MultiplicationFn
?NUM 1852.0)
Meter
)))
Geography.kif 3807-3814
If
a real number
is
equal
to 1.0 and
the real number
,
then
the real number
nautical mile
(s) is
equal
to
the real number
and 1852.0
meter
(s)
(=>
(
equal
?NUM
(
MultiplicationFn
1.0 ?NUM))
(
equal
(
MeasureFn
?NUM
NauticalMile
)
(
MeasureFn
(
MultiplicationFn
?NUM 6076.1)
FootLength
)))
Geography.kif 3825-3832
If
a real number
is
equal
to 1.0 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.0 ?NUM))
(
equal
(
MeasureFn
?NUM
SquareKilometer
)
(
MeasureFn
(
MultiplicationFn
?NUM 1000000.0)
SquareMeter
)))
Geography.kif 632-638
If
a real number
is
equal
to 1.0 and
the real number
,
then
the real number
square kilometer
(s) is
equal
to
the real number
and 1000000.0
square meter
(s)
(=>
(
equal
?NUMBER
(
MultiplicationFn
1 ?NUMBER))
(
equal
(
MeasureFn
?NUMBER
CenturyDuration
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 100)
YearDuration
)))
Mid-level-ontology.kif 18415-18419
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 8661-8665
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.0 ?NUMBER))
(
equal
(
MeasureFn
?NUMBER
Fathom
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 6.0)
FootLength
)))
Geography.kif 3766-3770
If
a real number
is
equal
to 1.0 and
the real number
,
then
the real number
fathom
(s) is
equal
to
the real number
and 6.0
foot length
(s)
(=>
(
equal
?NUMBER
(
MultiplicationFn
1.0 ?NUMBER))
(
equal
(
MeasureFn
?NUMBER
LongTon
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 2240.0)
PoundMass
)))
Mid-level-ontology.kif 13084-13088
If
a real number
is
equal
to 1.0 and
the real number
,
then
the real number
long ton
(s) is
equal
to
the real number
and 2240.0
pound mass
(s)
(=>
(
equal
?NUMBER
(
MultiplicationFn
1.0 ?NUMBER))
(
equal
(
MeasureFn
?NUMBER
Nanometer
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 0.000000001)
Meter
)))
Mid-level-ontology.kif 18434-18440
If
a real number
is
equal
to 1.0 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.0 ?NUMBER))
(
equal
(
MeasureFn
?NUMBER
RegistryTon
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 100.0)
CubicFoot
)))
Mid-level-ontology.kif 13134-13138
If
a real number
is
equal
to 1.0 and
the real number
,
then
the real number
registry ton
(s) is
equal
to
the real number
and 100.0
cubic foot
(s)
(=>
(
equal
?NUMBER
(
MultiplicationFn
1.0 ?NUMBER))
(
equal
(
MeasureFn
?NUMBER
TonMass
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 2000.0)
PoundMass
)))
Mid-level-ontology.kif 13057-13061
If
a real number
is
equal
to 1.0 and
the real number
,
then
the real number
ton mass
(s) is
equal
to
the real number
and 2000.0
pound mass
(s)
(=>
(
equal
?NUMBER
(
MultiplicationFn
1.0 ?NUMBER))
(
equal
(
MeasureFn
?NUMBER
YardLength
)
(
MeasureFn
(
MultiplicationFn
3.0 ?NUMBER)
FootLength
)))
Mid-level-ontology.kif 18424-18428
If
a real number
is
equal
to 1.0 and
the real number
,
then
the real number
yard length
(s) is
equal
to 3.0 and
the real number
foot length
(s)
consequent
(<=>
(
measure
?O
(
MeasureFn
?A
MetricTon
))
(
measure
?O
(
MeasureFn
(
MultiplicationFn
?A 2205.0)
PoundMass
)))
Mid-level-ontology.kif 13071-13077
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.0
pound mass
(s)
(<=>
(
measure
?OBJ
(
MeasureFn
?DEG
AngularDegree
))
(
measure
?OBJ
(
MeasureFn
(
MultiplicationFn
60.0 ?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.0 and
the real number
arc minute
(s)
(<=>
(
measure
?OBJ
(
MeasureFn
?DEG
ArcMinute
))
(
measure
?OBJ
(
MeasureFn
(
MultiplicationFn
60.0 ?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.0 and
the real number
arc second
(s)
(=>
(
and
(
arableLandArea
?REGION
(
MeasureFn
?FRACTION ?UNIT))
(
greaterThanOrEqualTo
?FRACTION 0.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 2095-2109
If
a real number
an unit of measure
(s) is an
arable
land area of
a geographic area
and
the real number
is
greater
than or equal to 0.0 and
another real number
the 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 real number
and
the other real number
the unit of measure
(s)
(=>
(
and
(
attribute
?H
Muslim
)
(
equal
(
WealthFn
?H) ?W))
(
modalAttribute
(
exists
(?Z ?T ?U)
(
and
(
instance
?Z
Zakat
)
(
instance
?Y
Year
)
(
during
?Y
(
WhenFn
?H))
(
holdsDuring
?Y
(
attribute
?H
FullyFormed
))
(
agent
?Z ?H)
(
patient
?Z ?T)
(
monetaryValue
?T
(
MeasureFn
?C ?U))
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?C
(
MultiplicationFn
?W 0.025))))
Obligation
))
ArabicCulture.kif 193-212
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
,
another entity
and
a third entity
such that
the entity
is an
instance
of
zakat
and
a fourth entity
is an
instance
of
year
and
the fourth entity
takes place
during
the
time
of existence of
the agent
and
fully formed
is an
attribute
of
the agent
holds
during
the fourth 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 fifth entity
the third entity
(s) and
the third entity
is an
instance
of
UnitOfCurrency
and
the fifth 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 666-676
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 13032-13041
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 13043-13052
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
(
RemainderFn
?NUMBER1 ?NUMBER2) ?NUMBER)
(
not
(
equal
?NUMBER2 0)))
(
equal
(
AdditionFn
(
MultiplicationFn
(
FloorFn
(
DivisionFn
?NUMBER1 ?NUMBER2)) ?NUMBER2) ?NUMBER) ?NUMBER1))
Merge.kif 5008-5019
If
an integer
mod
another integer
is
equal
to
a third integer
and
the other integer
is not
equal
to 0,
then (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
(=>
(
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 1485-1496
If
a real number
is
equal
to
VarianceAverageFn
of
a list
with the mean of
another real number
and 1 is
equal
to
length
of
the list
,
then
the real number
is
equal
to (
the other real number
and 1th
element
of
the list
) and (
the other real number
and 1th
element
of
the list
)
(=>
(
and
(
instance
?NUMBER
Integer
)
(
not
(
equal
?NUMBER 0)))
(
equal
1
(
MultiplicationFn
?NUMBER
(
ReciprocalFn
?NUMBER))))
Merge.kif 4990-4995
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 3095-3109
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
the other real number
is
equal
to
the real 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.0
(
StandardDeviationFn
?LIST))))))
Weather.kif 1531-1546
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.0 and The
StandardDeviationFn
of
the list
(=>
(
and
(
otherLandUseArea
?REGION
(
MeasureFn
?FRACTION ?UNIT))
(
greaterThanOrEqualTo
?FRACTION 0.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 2181-2199
If
a real number
an unit of measure
(s) is an
other
land use area of
a geographic area
and
the real number
is
greater
than or equal to 0.0 and
another real number
the 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 real number
and
the other real number
the unit of measure
(s)
(=>
(
and
(
permanentCropLandArea
?REGION
(
MeasureFn
?FRACTION ?UNIT))
(
greaterThanOrEqualTo
?FRACTION 0.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 2141-2155
If
a real number
an unit of measure
(s) is a
permanent
crop land area of
a geographic area
and
the real number
is
greater
than or equal to 0.0 and
another real number
the 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 real number
and
the other real number
the unit of measure
(s)
(=>
(
and
(
relativeAngle
?O1 ?O2 ?N)
(
physicalEnd
?E1 ?O1)
(
physicalEnd
?E2 ?O1)
(
not
(
equal
?E1 ?E2))
(
length
?O1
(
MeasureFn
?N1 ?U))
(
length
?O2
(
MeasureFn
?N2 ?U))
(
distance
?E1 ?E3
(
MeasureFn
?N3 ?U))
(
physicalEnd
?E3 ?O2)
(
physicalEnd
?E4 ?O2)
(
not
(
equal
?E3 ?E4))
(
not
(
meetsSpatially
?E1 ?E3)))
(
equal
?N
(
ArcCosineFn
(
DivisionFn
(
SubtractionFn
(
SubtractionFn
(
MultiplicationFn
?N3 ?N3)
(
MultiplicationFn
?N1 ?N1))
(
MultiplicationFn
?N2 ?N2))
(
MultiplicationFn
2.0
(
MultiplicationFn
?N1 ?N2))))))
Merge.kif 17637-17662
If the relative
angle
between
an object
and
another object
is
a real number
and one end of
the object
is
a third object
and one end of
the object
is
a fourth object
and
the third object
is not
equal
to
the fourth object
and the
length
of
the object
is
the real number
1
an unit of measure
(s) and the
length
of
the other object
is
the real number
2
the unit of measure
(s) and the
distance
between
the third object
and
a fifth object
is
the real number
3
the unit of measure
(s) and one end of
the other object
is
the fifth object
and one end of
the other object
is
a sixth object
and
the fifth object
is not
equal
to
the sixth object
and
the third object
doesn't
meet
the fifth object
,
then
the real number
is
equal
to the
arccosine
of ((
the real number
3 and
the real number
3 and
the real number
1 and
the real number
1) and
the real number
2 and
the real number
2) and 2.0 and
the real number
1 and
the real number
2
(=>
(
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.0 ?HF))
(
greaterThan
?H2
(
MultiplicationFn
2.0 ?HF))))
Mid-level-ontology.kif 2737-2748
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.0 and
the real number
and
the third real number
is
greater
than 2.0 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.0 ?HF))
(
lessThan
?H2
(
MultiplicationFn
3.0 ?HF))))
Mid-level-ontology.kif 2756-2767
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.0 and
the real number
and
the third real number
is
less
than 3.0 and
the real number
(=>
(
circumfrence
?CIRCLE ?LENGTH)
(
exists
(?D ?UNIT)
(
and
(
diameter
?CIRCLE
(
MeasureFn
?D ?UNIT))
(
equal
(
MeasureFn
(
MultiplicationFn
?D 3.14) ?UNIT) ?LENGTH))))
Mid-level-ontology.kif 30514-30522
If
circumfrence
a circle
and
a length measure
,
then there exist
a real number
and
an unit of measure
such that the
diameter
of
the circle
is
the real number
the unit of measure
(s) and
the real number
and 3.14
the unit of measure
(s) is
equal
to
the length measure
(=>
(
diameter
?CIRCLE ?LENGTH)
(
exists
(?NHALF ?UHALF)
(
and
(
radius
?CIRCLE
(
MeasureFn
?NHALF ?UHALF))
(
equal
(
MeasureFn
(
MultiplicationFn
?NHALF 2) ?UHALF) ?LENGTH))))
Merge.kif 7573-7578
If the
diameter
of
a circle
is
a length measure
,
then there exist
a real number
and
an unit of measure
such that the
radius
of
the circle
is
the real number
the unit of measure
(s) 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.0) ?L))))
Mid-level-ontology.kif 4674-4679
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.0 is
equal
to
the real number
(=>
(
equal
(
SquareRootFn
?NUMBER1) ?NUMBER2)
(
equal
(
MultiplicationFn
?NUMBER2 ?NUMBER2) ?NUMBER1))
Merge.kif 5125-5127
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 3799-3805
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)
(=>
(
equal
?AMOUNT
(
MeasureFn
?NUM
NauticalMile
))
(
equal
?AMOUNT
(
MeasureFn
(
MultiplicationFn
?NUM 1.852)
(
KiloFn
Meter
))))
Geography.kif 3791-3797
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.852 1
thousand
meter
s(s)
(=>
(
equal
?AMOUNT
(
MeasureFn
?X
Joule
))
(
equal
?AMOUNT
(
MeasureFn
(
MultiplicationFn
0.0002778 ?X)
Watt
)))
Economy.kif 2027-2029
If
a physical quantity
is
equal
to
a real number
joule
(s),
then
the physical quantity
is
equal
to 0.0002778 and
the real number
watt
(s)
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
(
equal
(
MeasureFn
?DEG
ArcMinute
)
(
MeasureFn
(
MultiplicationFn
60.0 ?DEG)
ArcSecond
))
Geography.kif 402-402
A real number
arc minute
(s) is
equal
to 60.0 and
the real number
arc second
(s)
(
equal
(
MeasureFn
?NUM
AngularDegree
)
(
MeasureFn
(
MultiplicationFn
60.0 ?NUM)
ArcMinute
))
Geography.kif 383-383
A real number
angular degree
(s) is
equal
to 60.0 and
the real number
arc minute
(s)
(
equal
(
MeasureFn
?NUMBER
Amu
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1.6605402
E-24
)
Gram
))
Merge.kif 7055-7057
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 7077-7079
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 7271-7273
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 7257-7259
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 7329-7331
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 7249-7251
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 6684-6686
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 6991-6993
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 7065-7067
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 7309-7311
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 7090-7092
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 6999-7001
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 7097-7099
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 7339-7341
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 7183-7186
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 6703-6706
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 7349-7351
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 6785-6788
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 7104-7106
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 6693-6696
A real number
millimeter
(s) is
equal
to
the real number
and 0.001
meter
(s)
(
equal
(
MeasureFn
?NUMBER
MinuteDuration
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 60)
SecondDuration
))
Merge.kif 7007-7009
A real number
minute duration
(s) is
equal
to
the real number
and 60
second duration
(s)
(
equal
(
MeasureFn
?NUMBER
PoundForce
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 4.448222)
Newton
))
Merge.kif 7239-7241
A real number
pound force
(s) is
equal
to
the real number
and 4.448222
newton
(s)
(
equal
(
MeasureFn
?NUMBER
PoundMass
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 453.59237)
Gram
))
Merge.kif 7200-7202
A real number
pound mass
(s) is
equal
to
the real number
and 453.59237
gram
(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