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 4615-4617
(
domain
MultiplicationFn
1
RealNumber
)
Merge.kif 4611-4611
乘法函数
的 1 数量 是
实数
的
instance
(
domain
MultiplicationFn
2
RealNumber
)
Merge.kif 4612-4612
乘法函数
的 2 数量 是
实数
的
instance
(
identityElement
MultiplicationFn
1)
Merge.kif 5202-5202
1 是
乘法函数
的单位元
(
instance
MultiplicationFn
AssociativeFunction
)
Merge.kif 4607-4607
乘法函数
是
结合函数
的
instance
(
instance
MultiplicationFn
BinaryFunction
)
Merge.kif 4606-4606
乘法函数
是
二元函数
的
instance
(
instance
MultiplicationFn
CommutativeFunction
)
Merge.kif 4608-4608
乘法函数
是
交换函数
的
instance
(
instance
MultiplicationFn
TotalValuedRelation
)
Merge.kif 4610-4610
乘法函数
是
总值关系
的
instance
(
range
MultiplicationFn
RealNumber
)
Merge.kif 4613-4613
乘法函数
的
range
是
实数
的实例
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
如果
实数
测量单位
是
地理区域
的
arable
土地 和
那个 实数
是
greaterThanOrEqualTo
0.0 和
另一个 实数
那个 测量单位
是
那个 地理区域
的
total
區域 和
那个 另外 实数
是
面积测量
的
instance
和
第三 实数
equal
那个 实数
和
那个 另外 实数
,
然后
那个 第三 实数
那个 测量单位
是
那个 地理区域
的
arable
土地
(=>
(
and
(
not
(
equal
?NUMBER2 0))
(
equal
(
AdditionFn
(
MultiplicationFn
(
FloorFn
(
DivisionFn
?NUMBER1 ?NUMBER2)) ?NUMBER2) ?NUMBER) ?NUMBER1))
(
equal
(
RemainderFn
?NUMBER1 ?NUMBER2) ?NUMBER))
Merge.kif 5029-5040
如果
整数
不
equal
0 和 (取
另一个 整数
和
那个 整数
的底整数 和
那个 整数
和
第三 整数
)
equal
那个 另外 整数
,
然后
那个 另外 整数
模除
那个 整数
equal
那个 第三 整数
(=>
(
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
如果
实数
测量单位
是
地理区域
的
other
土地使用地区 和
那个 实数
是
greaterThanOrEqualTo
0.0 和
另一个 实数
那个 测量单位
是
那个 地理区域
的
total
區域 和
那个 测量单位
是
UnitOfArea
的
instance
和
第三 实数
equal
那个 实数
和
那个 另外 实数
,
然后
那个 第三 实数
那个 测量单位
是
那个 地理区域
的
other
土地使用地区
(=>
(
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
如果
实数
测量单位
是
地理区域
的
permanent
农作地区 和
那个 实数
是
greaterThanOrEqualTo
0.0 和
另一个 实数
那个 测量单位
是
那个 地理区域
的
total
區域 和
那个 测量单位
是
UnitOfArea
的
instance
和
第三 实数
equal
那个 实数
和
那个 另外 实数
,
然后
那个 第三 实数
那个 测量单位
是
那个 地理区域
的
permanent
农作地区
(=>
(
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
如果
地缘政治区域
是 对于
实数
和
有点 时距
在 周期
行业属性
的 GDP
sector
组成 和
那个 地缘政治区域
是 对于
有点 时距
在 周期
另一个 实数
测量单位
的
totalGDP
和
第三 实数
equal
那个 实数
和
那个 另外 实数
,
然后
那个 地缘政治区域
是
那个 第三 实数
那个 测量单位
和
那个 有点 时距
在 周期
那个 行业属性
的
sector
GDP 价值
(=>
(
and
(
simpleInterest
?Account
(
MeasureFn
?Interest ?CUNIT) ?Period)
(
principalAmount
?Account
(
MeasureFn
?Principal ?CUNIT))
(
equal
?Rate-Decimal
(
DivisionFn
?Interest ?Principal))
(
equal
?Rate
(
MultiplicationFn
?Rate-Decimal 100.0)))
(
interestRatePerPeriod
?Account ?Rate ?Period))
FinancialOntology.kif 587-597
如果
金融账户
是 对于
时距
的
simple
利息
实数
测量单位
和
另一个 实数
那个 测量单位
是
那个 金融账户
的
principal
总额 和
第三 实数
-Decimal
equal
那个 实数
和
那个 另外 实数
和
那个 第三 实数
equal
那个 第三 实数
-Decimal 和 100.0,
然后
那个 金融账户
是 对于
那个 时距
每周期
那个 第三 实数
的
interest
速率
(=>
(
equal
?N
(
MultiplicationFn
1 ?N))
(
equal
(
MeasureFn
?N
MillenniumDuration
)
(
MeasureFn
(
MultiplicationFn
?N 1000)
YearDuration
)))
Mid-level-ontology.kif 13202-13206
如果
实数
equal
1 和
那个 实数
,
然后
那个 实数
MillenniumDuration
equal
那个 实数
和 1000
年持续时间
(=>
(
equal
?NUM
(
MultiplicationFn
1.0 ?NUM))
(
equal
(
MeasureFn
?NUM
NauticalMile
)
(
MeasureFn
(
MultiplicationFn
?NUM 1.151)
Mile
)))
Geography.kif 3834-3841
如果
实数
equal
1.0 和
那个 实数
,
然后
那个 实数
海里
equal
那个 实数
和 1.151
英里
(=>
(
equal
?NUM
(
MultiplicationFn
1.0 ?NUM))
(
equal
(
MeasureFn
?NUM
NauticalMile
)
(
MeasureFn
(
MultiplicationFn
?NUM 1.852)
(
KiloFn
Meter
))))
Geography.kif 3816-3823
如果
实数
equal
1.0 和
那个 实数
,
然后
那个 实数
海里
equal
那个 实数
和 1.852
仪表
的一千倍
(=>
(
equal
?NUM
(
MultiplicationFn
1.0 ?NUM))
(
equal
(
MeasureFn
?NUM
NauticalMile
)
(
MeasureFn
(
MultiplicationFn
?NUM 1852.0)
Meter
)))
Geography.kif 3807-3814
如果
实数
equal
1.0 和
那个 实数
,
然后
那个 实数
海里
equal
那个 实数
和 1852.0
仪表
(=>
(
equal
?NUM
(
MultiplicationFn
1.0 ?NUM))
(
equal
(
MeasureFn
?NUM
NauticalMile
)
(
MeasureFn
(
MultiplicationFn
?NUM 6076.1)
FootLength
)))
Geography.kif 3825-3832
如果
实数
equal
1.0 和
那个 实数
,
然后
那个 实数
海里
equal
那个 实数
和 6076.1
脚长
(=>
(
equal
?NUM
(
MultiplicationFn
1.0 ?NUM))
(
equal
(
MeasureFn
?NUM
SquareKilometer
)
(
MeasureFn
(
MultiplicationFn
?NUM 1000000.0)
SquareMeter
)))
Geography.kif 632-638
如果
实数
equal
1.0 和
那个 实数
,
然后
那个 实数
平方千米
equal
那个 实数
和 1000000.0
平方米
(=>
(
equal
?NUMBER
(
MultiplicationFn
1 ?NUMBER))
(
equal
(
MeasureFn
?NUMBER
CenturyDuration
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 100)
YearDuration
)))
Mid-level-ontology.kif 18499-18503
如果
实数
equal
1 和
那个 实数
,
然后
那个 实数
CenturyDuration
equal
那个 实数
和 100
年持续时间
(=>
(
equal
?NUMBER
(
MultiplicationFn
1 ?NUMBER))
(
equal
(
MeasureFn
?NUMBER
DecadeDuration
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 10)
YearDuration
)))
Merge.kif 8669-8673
如果
实数
equal
1 和
那个 实数
,
然后
那个 实数
DecadeDuration
equal
那个 实数
和 10
年持续时间
(=>
(
equal
?NUMBER
(
MultiplicationFn
1.0 ?NUMBER))
(
equal
(
MeasureFn
?NUMBER
Fathom
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 6.0)
FootLength
)))
Geography.kif 3766-3770
如果
实数
equal
1.0 和
那个 实数
,
然后
那个 实数
推测
equal
那个 实数
和 6.0
脚长
(=>
(
equal
?NUMBER
(
MultiplicationFn
1.0 ?NUMBER))
(
equal
(
MeasureFn
?NUMBER
LongTon
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 2240.0)
PoundMass
)))
Mid-level-ontology.kif 13137-13141
如果
实数
equal
1.0 和
那个 实数
,
然后
那个 实数
长吨
equal
那个 实数
和 2240.0
磅质量
(=>
(
equal
?NUMBER
(
MultiplicationFn
1.0 ?NUMBER))
(
equal
(
MeasureFn
?NUMBER
Nanometer
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 0.000000001)
Meter
)))
Mid-level-ontology.kif 18518-18524
如果
实数
equal
1.0 和
那个 实数
,
然后
那个 实数
Nanometer
equal
那个 实数
和 0.000000001
仪表
(=>
(
equal
?NUMBER
(
MultiplicationFn
1.0 ?NUMBER))
(
equal
(
MeasureFn
?NUMBER
RegistryTon
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 100.0)
CubicFoot
)))
Mid-level-ontology.kif 13187-13191
如果
实数
equal
1.0 和
那个 实数
,
然后
那个 实数
注册表吨
equal
那个 实数
和 100.0
立方英尺
(=>
(
equal
?NUMBER
(
MultiplicationFn
1.0 ?NUMBER))
(
equal
(
MeasureFn
?NUMBER
TonMass
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 2000.0)
PoundMass
)))
Mid-level-ontology.kif 13110-13114
如果
实数
equal
1.0 和
那个 实数
,
然后
那个 实数
吨质量
equal
那个 实数
和 2000.0
磅质量
(=>
(
equal
?NUMBER
(
MultiplicationFn
1.0 ?NUMBER))
(
equal
(
MeasureFn
?NUMBER
YardLength
)
(
MeasureFn
(
MultiplicationFn
3.0 ?NUMBER)
FootLength
)))
Mid-level-ontology.kif 18508-18512
如果
实数
equal
1.0 和
那个 实数
,
然后
那个 实数
院子长度
equal
3.0 和
那个 实数
脚长
consequent
(<=>
(
measure
?O
(
MeasureFn
?A
MetricTon
))
(
measure
?O
(
MeasureFn
(
MultiplicationFn
?A 2205.0)
PoundMass
)))
Mid-level-ontology.kif 13124-13130
物理
的
measure
是
实数
公吨
若且唯若
那个 物理
的
measure
是
那个 实数
和 2205.0
磅质量
(<=>
(
measure
?OBJ
(
MeasureFn
?DEG
AngularDegree
))
(
measure
?OBJ
(
MeasureFn
(
MultiplicationFn
60.0 ?DEG)
ArcMinute
)))
Geography.kif 378-380
物理
的
measure
是
实数
圆周角度
若且唯若
那个 物理
的
measure
是 60.0 和
那个 实数
弧分
(<=>
(
measure
?OBJ
(
MeasureFn
?DEG
ArcMinute
))
(
measure
?OBJ
(
MeasureFn
(
MultiplicationFn
60.0 ?DEG)
ArcSecond
)))
Geography.kif 397-399
物理
的
measure
是
实数
弧分
若且唯若
那个 物理
的
measure
是 60.0 和
那个 实数
弧秒
(=>
(
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
如果
实数
测量单位
是
地理区域
的
arable
土地 和
那个 实数
是
greaterThanOrEqualTo
0.0 和
另一个 实数
那个 测量单位
是
那个 地理区域
的
total
區域 和
那个 测量单位
是
UnitOfArea
的
instance
,
然后 有存在
另一个 地理区域
这样
那个 另外 地理区域
是
耕地
的
instance
和
那个 另外 地理区域
是
那个 地理区域
的
geographic
次要地区 和
那个 另外 地理区域
的
measure
是
那个 实数
和
那个 另外 实数
那个 测量单位
(=>
(
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
如果
穆斯林
是
施事体
的
attribute
和 属于
那个 施事体
的资产值
equal
货币测量
,
然后 有存在
实体
,
另一个 实体
, and 和
第三 实体
这样
那个 实体
是
天课
的
instance
和
第四 实体
是
年
的
instance
和
那个 第四 实体
在
那个 施事体
出现 的
time
时段内发生 和
完全成型
是
那个 施事体
的
attribute
在
那个 第四 实体
holdsDuring
和
那个 施事体
是
那个 实体
的
agent
和
那个 另外 实体
是
那个 实体
的
patient
和
那个 另外 实体
的价值 是
第五 实体
那个 第三 实体
和
那个 第三 实体
是
UnitOfCurrency
的
instance
和
那个 第五 实体
是
greaterThan
那个 货币测量
和 0.025 的声明 has
义务
的语气
(=>
(
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
如果
地理区域
comparative
地区
BinaryRelationExtendedToQuantities
对于
正实数
跟
另一个 地理区域
在一起 和
测量单位
是
UnitOfArea
的
instance
和
那个 地理区域
的
measure
是
实数
那个 测量单位
和
那个 另外 地理区域
的
measure
是
另一个 实数
那个 测量单位
,
然后
那个 BinaryRelationExtendedToQuantities
那个 实数
那个 测量单位
and
那个 正实数
和
那个 另外 实数
那个 测量单位
(=>
(
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 13085-13094
如果
有点 客体
的预期
value
是
实数
测量单位
和
那个 测量单位
是
CompositeUnitOfMeasure
的
instance
,
然后 有存在
实体
和
那个 实数
UANTITY 这样
那个 实体
是
有点 客体
的
instance
和
那个 实体
的
measure
是
那个 实数
UANTITY
那个 测量单位
和
那个 实数
UANTITY 是
greaterThan
那个 实数
和 1.5 的声明 has
较不可能
的语气
(=>
(
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 13096-13105
如果
有点 客体
的预期
value
是
实数
测量单位
和
那个 测量单位
是
CompositeUnitOfMeasure
的
instance
,
然后 有存在
实体
和
那个 实数
UANTITY 这样
那个 实体
是
有点 客体
的
instance
和
那个 实体
的
measure
是
那个 实数
UANTITY
那个 测量单位
和
那个 实数
UANTITY 是
lessThan
那个 实数
和 .5 的声明 has
较不可能
的语气
(=>
(
and
(
equal
(
RemainderFn
?NUMBER1 ?NUMBER2) ?NUMBER)
(
not
(
equal
?NUMBER2 0)))
(
equal
(
AdditionFn
(
MultiplicationFn
(
FloorFn
(
DivisionFn
?NUMBER1 ?NUMBER2)) ?NUMBER2) ?NUMBER) ?NUMBER1))
Merge.kif 5016-5027
如果
整数
模除
另一个 整数
equal
第三 整数
和
那个 另外 整数
不
equal
0,
然后 (取
那个 整数
和
那个 另外 整数
的底整数 和
那个 另外 整数
和
那个 第三 整数
)
equal
那个 整数
(=>
(
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
如果
实数
equal
方差均差函数
另一个 实数
and
串列
和 1
equal
那个 串列
的长度,
然后
那个 实数
equal
(
那个 另外 实数
和
那个 串列
的第 1 几个元素) 和 (
那个 另外 实数
和
那个 串列
的第 1 几个元素)
(=>
(
and
(
instance
?NUMBER
Integer
)
(
not
(
equal
?NUMBER 0)))
(
equal
1
(
MultiplicationFn
?NUMBER
(
ReciprocalFn
?NUMBER))))
Merge.kif 4998-5003
如果
实数
是
整数
的
instance
和
那个 实数
不
equal
0,
然后 1
equal
那个 实数
和
那个 实数
的倒数
(=>
(
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
如果
时间位置
是
变压器
的
instance
和
WireCoil
是
WireCoil
的
instance
和
另一个 WireCoil
是
WireCoil
的
instance
和
coilCount
那个 WireCoil
and
整数
和
coilCount
那个 另外 WireCoil
and
另一个 整数
和
那个 WireCoil
的
measure
是
伏特
实数
在
那个 时间位置
holdsDuring
,
然后
那个 另外 WireCoil
的
measure
是
伏特
另一个 实数
在
那个 时间位置
holdsDuring
和
那个 另外 实数
equal
那个 实数
和
那个 另外 整数
和
那个 整数
(=>
(
and
(
instance
?WW
WaterWave
)
(
waveHeight
?WW ?WH))
(
exists
(?LIST ?WA ?U)
(
and
(
inList
?WH ?LIST)
(
instance
?WA
WaterArea
)
(
eventLocated
?WW ?WA)
(
instance
?U
UnitOfLength
)
(
significantWaveHeight
?WA
(
WhenFn
?WW)
(
MeasureFn
?SWH ?U))
(
equal
?SWH
(
MultiplicationFn
4.0
(
StandardDeviationFn
?LIST))))))
Weather.kif 1531-1546
如果
水波
是
水波
的
instance
和
波高
那个 水波
and
长度测量
,
然后 有存在
串列
,
水域
, and 和
测量单位
这样
那个 长度测量
是
那个 串列
的
member
和
那个 水域
是
水域
的
instance
和
那个 水波
是
located
在
2
和
那个 测量单位
是
UnitOfLength
的
instance
和
有效波高
那个 水域
,
那个 水波
出现 的
time
and
实数
那个 测量单位
和
那个 实数
equal
4.0 和
标准偏差
那个 串列
(=>
(
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
如果
实数
测量单位
是
地理区域
的
other
土地使用地区 和
那个 实数
是
greaterThanOrEqualTo
0.0 和
另一个 实数
那个 测量单位
是
那个 地理区域
的
total
區域 和
那个 测量单位
是
UnitOfArea
的
instance
,
然后 有存在
另一个 地理区域
这样
那个 另外 地理区域
是
土地面积
的
instance
和
那个 另外 地理区域
不 是
耕地
的
instance
和
那个 另外 地理区域
不 是
永久性耕地
的
instance
和
那个 另外 地理区域
是
那个 地理区域
的
geographic
次要地区 和
那个 另外 地理区域
的
measure
是
那个 实数
和
那个 另外 实数
那个 测量单位
(=>
(
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
如果
实数
测量单位
是
地理区域
的
permanent
农作地区 和
那个 实数
是
greaterThanOrEqualTo
0.0 和
另一个 实数
那个 测量单位
是
那个 地理区域
的
total
區域 和
那个 测量单位
是
UnitOfArea
的
instance
,
然后 有存在
另一个 地理区域
这样
那个 另外 地理区域
是
永久性耕地
的
instance
和
那个 另外 地理区域
是
那个 地理区域
的
geographic
次要地区 和
那个 另外 地理区域
的
measure
是
那个 实数
和
那个 另外 实数
那个 测量单位
(=>
(
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 2238-2248
如果
施事体
possesses
客体
和
那个 客体
的
measure
是
实数
ShareUnit
和
股票分割
是 对于
整数
和
另一个 整数
的
split
,
然后
实体
equal
那个 实数
和
那个 另外 整数
和
另一个 实体
equal
那个 实体
和
那个 整数
和
那个 客体
的
measure
是
那个 另外 实体
ShareUnit
在 紧接
那个 股票分割
出现 的
time
after
holdsDuring
(=>
(
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 2250-2262
如果
物理
是 对于
施事体
的
price
实数
美国美元
和 有存在
股票分割
这样
那个 股票分割
是 对于
整数
和
另一个 整数
的
split
和
那个 股票分割
出现 的
time
equal
那个 施事体
OfSplit,
然后
另一个 实数
equal
那个 实数
和
那个 整数
和
第三 实数
equal
那个 另外 实数
和
那个 另外 整数
和
那个 物理
是 对于
那个 施事体
AfterSplit 的
price
那个 第三 实数
美国美元
和
那个 施事体
接着
那个 施事体
OfSplit 和
那个 施事体
OfSplit 接着
那个 施事体
AfterSplit
(=>
(
and
(
principalAmount
?Account
(
MeasureFn
?Balance ?CUNIT))
(
fixedInterestRate
?Account ?Rate)
(
simpleInterest
?Account
(
MeasureFn
?Amount ?CUNIT) ?Period)
(
equal
?Rate-Decimal
(
DivisionFn
?Rate 100)))
(
equal
?Amount
(
MultiplicationFn
?Balance ?Rate-Decimal)))
FinancialOntology.kif 538-548
如果
实数
测量单位
是
金融账户
的
principal
总额 和
另一个 实数
是
那个 金融账户
的
fixed
固定利息 和
那个 金融账户
是 对于
时距
的
simple
利息
第三 实数
那个 测量单位
和
那个 另外 实数
-Decimal
equal
那个 另外 实数
和 100,
然后
那个 第三 实数
equal
那个 实数
和
那个 另外 实数
-Decimal
(=>
(
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 17644-17669
如果
relativeAngle
客体
,
另一个 客体
and
实数
和
physicalEnd
第三 客体
and
那个 客体
和
physicalEnd
第四 客体
and
那个 客体
和
那个 第三 客体
不
equal
那个 第四 客体
和
那个 客体
的
length
是
那个 实数
1
测量单位
和
那个 另外 客体
的
length
是
那个 实数
2
那个 测量单位
和
那个 第三 客体
和
第五 客体
的
distance
是
那个 实数
3
那个 测量单位
和
physicalEnd
那个 第五 客体
and
那个 另外 客体
和
physicalEnd
第六 客体
and
那个 另外 客体
和
那个 第五 客体
不
equal
那个 第六 客体
和
那个 第三 客体
不 接上
那个 第五 客体
,
然后
那个 实数
equal
ArcCosineFn
((
那个 实数
3 和
那个 实数
3 和
那个 实数
1 和
那个 实数
1) 和
那个 实数
2 和
那个 实数
2) 和 2.0 和
那个 实数
1 和
那个 实数
2
(=>
(
attribute
?F
Flat
)
(
exists
(?S1 ?S2 ?HF ?H1 ?H2)
(
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 2745-2757
如果
平面
是
自身连接物体
的
attribute
,
然后 有存在
另一个 自身连接物体
,
第三 自身连接物体
,, ,
实数
,, ,
另一个 实数
, and 和
第三 实数
这样
那个 另外 自身连接物体
是
那个 自身连接物体
的一
side
和
那个 第三 自身连接物体
是
那个 自身连接物体
的一
side
和
那个 另外 自身连接物体
接上
那个 第三 自身连接物体
和
那个 另外 自身连接物体
不
equal
那个 第三 自身连接物体
和
那个 自身连接物体
的
height
是
那个 实数
测量单位
和
那个 另外 自身连接物体
的
height
是
那个 另外 实数
那个 测量单位
和
那个 第三 自身连接物体
的
height
是
那个 第三 实数
那个 测量单位
和
那个 另外 实数
是
greaterThan
2.0 和
那个 实数
和
那个 第三 实数
是
greaterThan
2.0 和
那个 实数
(=>
(
attribute
?F
LongAndThin
)
(
exists
(?S1 ?S2 ?HF ?H1 ?H2)
(
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 2765-2777
如果
又长又瘦
是
自身连接物体
的
attribute
,
然后 有存在
另一个 自身连接物体
,
第三 自身连接物体
,, ,
实数
,, ,
另一个 实数
, and 和
第三 实数
这样
那个 另外 自身连接物体
是
那个 自身连接物体
的一
side
和
那个 第三 自身连接物体
是
那个 自身连接物体
的一
side
和
那个 另外 自身连接物体
接上
那个 第三 自身连接物体
和
那个 另外 自身连接物体
不
equal
那个 第三 自身连接物体
和
那个 自身连接物体
的
length
是
那个 实数
测量单位
和
那个 另外 自身连接物体
的
length
是
那个 另外 实数
那个 测量单位
和
那个 第三 自身连接物体
的
length
是
那个 第三 实数
那个 测量单位
和
那个 另外 实数
是
lessThan
3.0 和
那个 实数
和
那个 第三 实数
是
lessThan
3.0 和
那个 实数
(=>
(
circumfrence
?CIRCLE ?LENGTH)
(
exists
(?D ?UNIT)
(
and
(
diameter
?CIRCLE
(
MeasureFn
?D ?UNIT))
(
equal
(
MeasureFn
(
MultiplicationFn
?D 3.14) ?UNIT) ?LENGTH))))
Mid-level-ontology.kif 30642-30650
如果
circumfrence
圈
and
长度测量
,
然后 有存在
实数
和
测量单位
这样
那个 圈
的
diameter
是
那个 实数
那个 测量单位
和
那个 实数
和 3.14
那个 测量单位
equal
那个 长度测量
(=>
(
diameter
?CIRCLE ?LENGTH)
(
exists
(?NHALF ?UHALF)
(
and
(
radius
?CIRCLE
(
MeasureFn
?NHALF ?UHALF))
(
equal
(
MeasureFn
(
MultiplicationFn
?NHALF 2) ?UHALF) ?LENGTH))))
Merge.kif 7581-7586
如果
圈
的
diameter
是
长度测量
,
然后 有存在
实数
和
测量单位
这样
那个 圈
的
radius
是
那个 实数
那个 测量单位
和
那个 实数
和 2
那个 测量单位
equal
那个 长度测量
(=>
(
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 4697-4702
如果
圈
的
diameter
equal
实数
测量单位
,
然后 有存在
另一个 实数
这样
那个 圈
的
radius
equal
那个 另外 实数
那个 测量单位
和
那个 另外 实数
和 2.0
equal
那个 实数
(=>
(
equal
(
SquareRootFn
?NUMBER1) ?NUMBER2)
(
equal
(
MultiplicationFn
?NUMBER2 ?NUMBER2) ?NUMBER1))
Merge.kif 5133-5135
如果
实数
平方根
equal
另一个 实数
,
然后
那个 另外 实数
和
那个 另外 实数
equal
那个 实数
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
实数
弧分
equal
60.0 和
那个 实数
弧秒
(
equal
(
MeasureFn
?NUM
AngularDegree
)
(
MeasureFn
(
MultiplicationFn
60.0 ?NUM)
ArcMinute
))
Geography.kif 383-383
实数
圆周角度
equal
60.0 和
那个 实数
弧分
(
equal
(
MeasureFn
?NUMBER
Amu
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1.6605402
E-24
)
Gram
))
Merge.kif 7063-7065
实数
amu
equal
那个 实数
和 1.6605402E-24
公克
(
equal
(
MeasureFn
?NUMBER
Angstrom
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1.0
E-10
)
Meter
))
Merge.kif 7085-7087
实数
埃
equal
那个 实数
和 1.0E-10
仪表
(
equal
(
MeasureFn
?NUMBER
AngularDegree
)
(
MeasureFn
(
MultiplicationFn
?NUMBER
(
DivisionFn
Pi
180.0))
Radian
))
Merge.kif 7279-7281
实数
圆周角度
equal
那个 实数
和
圆周率
和 180.0
弧度
(
equal
(
MeasureFn
?NUMBER
BritishThermalUnit
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1055.05585262)
Joule
))
Merge.kif 7265-7267
实数
英国热量单位
equal
那个 实数
和 1055.05585262
焦耳
(
equal
(
MeasureFn
?NUMBER
Byte
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 8)
Bit
))
Merge.kif 7337-7339
实数
字节
equal
那个 实数
和 8
位元
(
equal
(
MeasureFn
?NUMBER
Calorie
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 4.1868)
Joule
))
Merge.kif 7257-7259
实数
卡路里
equal
那个 实数
和 4.1868
焦耳
(
equal
(
MeasureFn
?NUMBER
Centimeter
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 0.01)
Meter
))
Merge.kif 6692-6694
实数
厘米
equal
那个 实数
和 0.01
仪表
(
equal
(
MeasureFn
?NUMBER
DayDuration
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 24)
HourDuration
))
Merge.kif 6999-7001
实数
一天长度
equal
那个 实数
和 24
小时
(
equal
(
MeasureFn
?NUMBER
ElectronVolt
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1.60217733
E-19
)
Joule
))
Merge.kif 7073-7075
实数
电子伏特
equal
那个 实数
和 1.60217733E-19
焦耳
(
equal
(
MeasureFn
?NUMBER
EuroCent
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 0.01)
EuroDollar
))
Merge.kif 7317-7319
实数
欧元分
equal
那个 实数
和 0.01
欧元
(
equal
(
MeasureFn
?NUMBER
FootLength
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 0.3048)
Meter
))
Merge.kif 7098-7100
实数
脚长
equal
那个 实数
和 0.3048
仪表
(
equal
(
MeasureFn
?NUMBER
HourDuration
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 60)
MinuteDuration
))
Merge.kif 7007-7009
实数
小时
equal
那个 实数
和 60
分钟
(
equal
(
MeasureFn
?NUMBER
Inch
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 0.0254)
Meter
))
Merge.kif 7105-7107
实数
英寸
equal
那个 实数
和 0.0254
仪表
(
equal
(
MeasureFn
?NUMBER
KiloByte
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1024)
Byte
))
Merge.kif 7347-7349
实数
千位元
equal
那个 实数
和 1024
字节
(
equal
(
MeasureFn
?NUMBER
Kilogram
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1000)
Gram
))
Merge.kif 7191-7194
实数
公斤
equal
那个 实数
和 1000
公克
(
equal
(
MeasureFn
?NUMBER
Kilometer
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1000)
Meter
))
Merge.kif 6711-6714
实数
公里
equal
那个 实数
和 1000
仪表
(
equal
(
MeasureFn
?NUMBER
MegaByte
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1024)
KiloByte
))
Merge.kif 7357-7359
实数
兆位元
equal
那个 实数
和 1024
千位元
(
equal
(
MeasureFn
?NUMBER
Micrometer
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 0.0000001)
Meter
))
Geography.kif 6785-6788
实数
微米
equal
那个 实数
和 0.0000001
仪表
(
equal
(
MeasureFn
?NUMBER
Mile
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1609.344)
Meter
))
Merge.kif 7112-7114
实数
英里
equal
那个 实数
和 1609.344
仪表
(
equal
(
MeasureFn
?NUMBER
Millimeter
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 0.001)
Meter
))
Merge.kif 6701-6704
实数
毫米
equal
那个 实数
和 0.001
仪表
(
equal
(
MeasureFn
?NUMBER
MinuteDuration
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 60)
SecondDuration
))
Merge.kif 7015-7017
实数
分钟
equal
那个 实数
和 60
第二期
(
equal
(
MeasureFn
?NUMBER
PoundForce
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 4.448222)
Newton
))
Merge.kif 7247-7249
实数
磅力
equal
那个 实数
和 4.448222
牛顿
(
equal
(
MeasureFn
?NUMBER
PoundMass
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 453.59237)
Gram
))
Merge.kif 7208-7210
实数
磅质量
equal
那个 实数
和 453.59237
公克
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