Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
cb
cz
de
hi
ro
sv
tg
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 4731-4733
(
documentation
MultiplicationFn
JapaneseLanguage
"?NUMBER1 と ?NUMBER2 が
Number
の場合、 (
MultiplicationFn
?NUMBER1 ?NUMBER2) はこれらの数値の算術積である。")
japanese_format.kif 876-877
(
domain
MultiplicationFn
1
RealNumber
)
Merge.kif 4727-4727
乘法函数
的 1 数量 是
实数
的
instance
(
domain
MultiplicationFn
2
RealNumber
)
Merge.kif 4728-4728
乘法函数
的 2 数量 是
实数
的
instance
(
identityElement
MultiplicationFn
1)
Merge.kif 5322-5322
1 是
乘法函数
的单位元
(
instance
MultiplicationFn
AssociativeFunction
)
Merge.kif 4723-4723
乘法函数
是
结合函数
的
instance
(
instance
MultiplicationFn
BinaryFunction
)
Merge.kif 4722-4722
乘法函数
是
二元函数
的
instance
(
instance
MultiplicationFn
CommutativeFunction
)
Merge.kif 4724-4724
乘法函数
是
交换函数
的
instance
(
instance
MultiplicationFn
TotalValuedRelation
)
Merge.kif 4726-4726
乘法函数
是
总值关系
的
instance
(
range
MultiplicationFn
RealNumber
)
Merge.kif 4729-4729
乘法函数
的
range
是
实数
的实例
appearance as argument number 2
(
format
ChineseLanguage
MultiplicationFn
"%*[*]")
chinese_format.kif 680-680
(
format
EnglishLanguage
MultiplicationFn
"%*[*]")
english_format.kif 682-682
(
format
FrenchLanguage
MultiplicationFn
"%*[*]")
french_format.kif 413-413
(
format
ItalianLanguage
MultiplicationFn
"%*[*]")
relations-it.txt 196-196
(
format
JapaneseLanguage
MultiplicationFn
"%*[*]")
japanese_format.kif 2130-2130
(
format
PortugueseLanguage
MultiplicationFn
"%*[*]")
portuguese_format.kif 365-365
(
format
cz
MultiplicationFn
"%*[*]")
relations-cz.txt 422-422
(
format
de
MultiplicationFn
"%*[*]")
relations-de.txt 887-887
(
format
hi
MultiplicationFn
"%*[*]")
relations-hindi.txt 234-234
(
format
ro
MultiplicationFn
"%*[*]")
relations-ro.kif 435-435
(
format
sv
MultiplicationFn
"%*[*]")
relations-sv.txt 457-457
(
format
tg
MultiplicationFn
"%*[*]")
relations-tg.txt 377-377
(
termFormat
ChineseLanguage
MultiplicationFn
"乘法")
domainEnglishFormat.kif 39196-39196
(
termFormat
ChineseLanguage
MultiplicationFn
"乘法函数")
chinese_format.kif 681-681
(
termFormat
ChineseTraditionalLanguage
MultiplicationFn
"乘法")
domainEnglishFormat.kif 39195-39195
(
termFormat
EnglishLanguage
MultiplicationFn
"multiplication")
domainEnglishFormat.kif 39194-39194
(
termFormat
de
MultiplicationFn
"MultiplikationFn")
terms-de.txt 262-262
(
termFormat
tg
MultiplicationFn
"tungkulin ng pagpaparami")
relations-tg.txt 378-378
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 2238-2248
如果
实数
测量单位
是
地理区域
的
arable
土地 和
那个 实数
是
greaterThanOrEqualTo
0.0 和
另一个 实数
那个 测量单位
是
那个 地理区域
的
total
區域 和
那个 另外 实数
是
面积测量
的
instance
和
equal
第三 实数
and
那个 实数
和
那个 另外 实数
,
然后
那个 第三 实数
那个 测量单位
是
那个 地理区域
的
arable
土地
(=>
(
and
(
not
(
equal
?NUMBER2 0))
(
equal
(
AdditionFn
(
MultiplicationFn
(
FloorFn
(
DivisionFn
?NUMBER1 ?NUMBER2)) ?NUMBER2) ?NUMBER) ?NUMBER1))
(
equal
(
RemainderFn
?NUMBER1 ?NUMBER2) ?NUMBER))
Merge.kif 5145-5156
如果
equal
整数
and 0 和
equal
(取
另一个 整数
和
那个 整数
的底整数 和
那个 整数
和
第三 整数
) and
那个 另外 整数
,
然后
equal
那个 另外 整数
模除
那个 整数
and
那个 第三 整数
(=>
(
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 2323-2334
如果
实数
测量单位
是
地理区域
的
other
土地使用地区 和
那个 实数
是
greaterThanOrEqualTo
0.0 和
另一个 实数
那个 测量单位
是
那个 地理区域
的
total
區域 和
那个 测量单位
是
UnitOfArea
的
instance
和
equal
第三 实数
and
那个 实数
和
那个 另外 实数
,
然后
那个 第三 实数
那个 测量单位
是
那个 地理区域
的
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 2283-2294
如果
实数
测量单位
是
地理区域
的
permanent
农作地区 和
那个 实数
是
greaterThanOrEqualTo
0.0 和
另一个 实数
那个 测量单位
是
那个 地理区域
的
total
區域 和
那个 测量单位
是
UnitOfArea
的
instance
和
equal
第三 实数
and
那个 实数
和
那个 另外 实数
,
然后
那个 第三 实数
那个 测量单位
是
那个 地理区域
的
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 1198-1206
如果
地缘政治区域
是 对于
实数
和
有点 时距
在 周期
行业属性
的 GDP
sector
组成 和
那个 地缘政治区域
是 对于
有点 时距
在 周期
另一个 实数
测量单位
的
totalGDP
和
equal
第三 实数
and
那个 实数
和
那个 另外 实数
,
然后
那个 地缘政治区域
是
那个 第三 实数
那个 测量单位
和
那个 有点 时距
在 周期
那个 行业属性
的
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 589-599
如果
金融账户
是 对于
时距
的
simple
利息
实数
测量单位
和
另一个 实数
那个 测量单位
是
那个 金融账户
的
principal
总额 和
equal
第三 实数
_Decimal and
那个 实数
和
那个 另外 实数
和
equal
那个 第三 实数
and
那个 第三 实数
_Decimal 和 100.0,
然后
那个 金融账户
是 对于
那个 时距
每周期
那个 第三 实数
的
interest
速率
(=>
(
and
(
typicalBloodVolume
?M
(
MeasureFn
?N ?U))
(
holdsDuring
?T
(
bloodVolume
?H
(
MeasureFn
?N2 ?U)))
(
instance
?H ?M)
(
greaterThan
(
MultiplicationFn
?N2 2.0) ?N)
(
lessThan
?N2
(
MultiplicationFn
0.8 ?N)))
(
holdsDuring
?T
(
attribute
?H
SevereBloodLoss
)))
Medicine.kif 5985-5999
如果
typicalBloodVolume
有点 哺乳动物
and
实数
测量单位
和
bloodVolume
实体
and
那个 实数
2
那个 测量单位
在
时间位置
holdsDuring
和
那个 实体
是
有点 哺乳动物
的
instance
和
那个 实数
2 和 2.0 是
greaterThan
那个 实数
和
那个 实数
2 是
lessThan
0.8 和
那个 实数
,
然后
SevereBloodLoss
是
那个 实体
的
attribute
在
那个 时间位置
holdsDuring
(=>
(
and
(
typicalBloodVolume
?M
(
MeasureFn
?N ?U))
(
holdsDuring
?T
(
bloodVolume
?H
(
MeasureFn
?N2 ?U)))
(
instance
?H ?M)
(
lessThan
(
MultiplicationFn
?N2 2.0) ?N))
(
holdsDuring
?T
(
attribute
?H
CatastrophicBloodLoss
)))
Medicine.kif 5967-5979
如果
typicalBloodVolume
有点 哺乳动物
and
实数
测量单位
和
bloodVolume
实体
and
那个 实数
2
那个 测量单位
在
时间位置
holdsDuring
和
那个 实体
是
有点 哺乳动物
的
instance
和
那个 实数
2 和 2.0 是
lessThan
那个 实数
,
然后
CatastrophicBloodLoss
是
那个 实体
的
attribute
在
那个 时间位置
holdsDuring
(=>
(
equal
?N
(
MultiplicationFn
1 ?N))
(
equal
(
MeasureFn
?N
MillenniumDuration
)
(
MeasureFn
(
MultiplicationFn
?N 1000)
YearDuration
)))
Mid-level-ontology.kif 15054-15058
如果
equal
实数
and 1 和
那个 实数
,
然后
equal
那个 实数
MillenniumDuration
and
那个 实数
和 1000
年持续时间
(=>
(
equal
?NUM
(
MultiplicationFn
1.0 ?NUM))
(
equal
(
MeasureFn
?NUM
NauticalMile
)
(
MeasureFn
(
MultiplicationFn
?NUM 1.151)
Mile
)))
Geography.kif 4163-4170
如果
equal
实数
and 1.0 和
那个 实数
,
然后
equal
那个 实数
海里
and
那个 实数
和 1.151
英里
(=>
(
equal
?NUM
(
MultiplicationFn
1.0 ?NUM))
(
equal
(
MeasureFn
?NUM
NauticalMile
)
(
MeasureFn
(
MultiplicationFn
?NUM 1.852)
(
KiloFn
Meter
))))
Geography.kif 4145-4152
如果
equal
实数
and 1.0 和
那个 实数
,
然后
equal
那个 实数
海里
and
那个 实数
和 1.852
仪表
的一千倍
(=>
(
equal
?NUM
(
MultiplicationFn
1.0 ?NUM))
(
equal
(
MeasureFn
?NUM
NauticalMile
)
(
MeasureFn
(
MultiplicationFn
?NUM 1852.0)
Meter
)))
Geography.kif 4136-4143
如果
equal
实数
and 1.0 和
那个 实数
,
然后
equal
那个 实数
海里
and
那个 实数
和 1852.0
仪表
(=>
(
equal
?NUM
(
MultiplicationFn
1.0 ?NUM))
(
equal
(
MeasureFn
?NUM
NauticalMile
)
(
MeasureFn
(
MultiplicationFn
?NUM 6076.1)
FootLength
)))
Geography.kif 4154-4161
如果
equal
实数
and 1.0 和
那个 实数
,
然后
equal
那个 实数
海里
and
那个 实数
和 6076.1
脚长
(=>
(
equal
?NUMBER
(
MultiplicationFn
1 ?NUMBER))
(
equal
(
MeasureFn
?NUMBER
CenturyDuration
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 100)
YearDuration
)))
Mid-level-ontology.kif 20635-20639
如果
equal
实数
and 1 和
那个 实数
,
然后
equal
那个 实数
CenturyDuration
and
那个 实数
和 100
年持续时间
(=>
(
equal
?NUMBER
(
MultiplicationFn
1 ?NUMBER))
(
equal
(
MeasureFn
?NUMBER
DecadeDuration
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 10)
YearDuration
)))
Merge.kif 8872-8876
如果
equal
实数
and 1 和
那个 实数
,
然后
equal
那个 实数
DecadeDuration
and
那个 实数
和 10
年持续时间
(=>
(
equal
?NUMBER
(
MultiplicationFn
1.0 ?NUMBER))
(
equal
(
MeasureFn
?NUMBER
Acre
)
(
MeasureFn
(
MultiplicationFn
4840.0 ?NUMBER)
SquareYard
)))
Mid-level-ontology.kif 15063-15069
如果
equal
实数
and 1.0 和
那个 实数
,
然后
equal
那个 实数
英亩
and 4840.0 和
那个 实数
方码
(=>
(
equal
?NUMBER
(
MultiplicationFn
1.0 ?NUMBER))
(
equal
(
MeasureFn
?NUMBER
CubicFoot
)
(
MeasureFn
(
MultiplicationFn
?NUMBER
(
MultiplicationFn
?NUMBER ?NUMBER))
FootLength
)))
Mid-level-ontology.kif 15001-15008
如果
equal
实数
and 1.0 和
那个 实数
,
然后
equal
那个 实数
立方英尺
and
那个 实数
和
那个 实数
和
那个 实数
脚长
(=>
(
equal
?NUMBER
(
MultiplicationFn
1.0 ?NUMBER))
(
equal
(
MeasureFn
?NUMBER
Fathom
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 6.0)
FootLength
)))
Geography.kif 4095-4099
如果
equal
实数
and 1.0 和
那个 实数
,
然后
equal
那个 实数
推测
and
那个 实数
和 6.0
脚长
(=>
(
equal
?NUMBER
(
MultiplicationFn
1.0 ?NUMBER))
(
equal
(
MeasureFn
?NUMBER
LongTon
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 2240.0)
PoundMass
)))
Mid-level-ontology.kif 14957-14961
如果
equal
实数
and 1.0 和
那个 实数
,
然后
equal
那个 实数
长吨
and
那个 实数
和 2240.0
磅质量
(=>
(
equal
?NUMBER
(
MultiplicationFn
1.0 ?NUMBER))
(
equal
(
MeasureFn
?NUMBER
Nanometer
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 0.000000001)
Meter
)))
Mid-level-ontology.kif 20654-20660
如果
equal
实数
and 1.0 和
那个 实数
,
然后
equal
那个 实数
Nanometer
and
那个 实数
和 0.000000001
仪表
(=>
(
equal
?NUMBER
(
MultiplicationFn
1.0 ?NUMBER))
(
equal
(
MeasureFn
?NUMBER
RegistryTon
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 100.0)
CubicFoot
)))
Mid-level-ontology.kif 15039-15043
如果
equal
实数
and 1.0 和
那个 实数
,
然后
equal
那个 实数
注册表吨
and
那个 实数
和 100.0
立方英尺
(=>
(
equal
?NUMBER
(
MultiplicationFn
1.0 ?NUMBER))
(
equal
(
MeasureFn
?NUMBER
TonMass
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 2205.0)
PoundMass
)))
Mid-level-ontology.kif 14930-14934
如果
equal
实数
and 1.0 和
那个 实数
,
然后
equal
那个 实数
吨质量
and
那个 实数
和 2205.0
磅质量
(=>
(
equal
?NUMBER
(
MultiplicationFn
1.0 ?NUMBER))
(
equal
(
MeasureFn
?NUMBER
YardLength
)
(
MeasureFn
(
MultiplicationFn
3.0 ?NUMBER)
FootLength
)))
Mid-level-ontology.kif 20644-20648
如果
equal
实数
and 1.0 和
那个 实数
,
然后
equal
那个 实数
院子长度
and 3.0 和
那个 实数
脚长
consequent
(<=>
(
measure
?O
(
MeasureFn
?A
MetricTon
))
(
measure
?O
(
MeasureFn
(
MultiplicationFn
?A 2205.0)
PoundMass
)))
Mid-level-ontology.kif 14944-14950
物理
的
measure
是
实数
公吨
若且唯若
那个 物理
的
measure
是
那个 实数
和 2205.0
磅质量
(<=>
(
measure
?OBJ
(
MeasureFn
?DEG
AngularDegree
))
(
measure
?OBJ
(
MeasureFn
(
MultiplicationFn
60.0 ?DEG)
ArcMinute
)))
Geography.kif 548-550
物理
的
measure
是
实数
圆周角度
若且唯若
那个 物理
的
measure
是 60.0 和
那个 实数
弧分
(<=>
(
measure
?OBJ
(
MeasureFn
?DEG
ArcMinute
))
(
measure
?OBJ
(
MeasureFn
(
MultiplicationFn
60.0 ?DEG)
ArcSecond
)))
Geography.kif 567-569
物理
的
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 2250-2264
如果
实数
测量单位
是
地理区域
的
arable
土地 和
那个 实数
是
greaterThanOrEqualTo
0.0 和
另一个 实数
那个 测量单位
是
那个 地理区域
的
total
區域 和
那个 测量单位
是
UnitOfArea
的
instance
,
然后 有存在
另一个 地理区域
这样
那个 另外 地理区域
是
耕地
的
instance
和
那个 另外 地理区域
是
那个 地理区域
的
geographic
次要地区 和
那个 另外 地理区域
的
measure
是
那个 实数
和
那个 另外 实数
那个 测量单位
(=>
(
and
(
attribute
?H
Muslim
)
(
equal
(
WealthFn
?H) ?W))
(
modalAttribute
(
exists
(?Z ?T ?U ?Y ?C)
(
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 204-223
如果
穆斯林
是
施事体
的
attribute
和
equal
属于
那个 施事体
的资产值 and
货币测量
,
然后 有存在
实体
,
另一个 实体
,, ,
第三 实体
,, ,
第四 实体
, 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 825-835
如果
地理区域
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 14905-14914
如果
有点 客体
的预期
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 0.5))))
Unlikely
))
Mid-level-ontology.kif 14916-14925
如果
有点 客体
的预期
value
是
实数
测量单位
和
那个 测量单位
是
CompositeUnitOfMeasure
的
instance
,
然后 有存在
实体
和
那个 实数
UANTITY 这样
那个 实体
是
有点 客体
的
instance
和
那个 实体
的
measure
是
那个 实数
UANTITY
那个 测量单位
和
那个 实数
UANTITY 是
lessThan
那个 实数
和 0.5 的声明 has
较不可能
的语气
(=>
(
and
(
equal
(
RemainderFn
?NUMBER1 ?NUMBER2) ?NUMBER)
(
not
(
equal
?NUMBER2 0)))
(
equal
(
AdditionFn
(
MultiplicationFn
(
FloorFn
(
DivisionFn
?NUMBER1 ?NUMBER2)) ?NUMBER2) ?NUMBER) ?NUMBER1))
Merge.kif 5132-5143
如果
equal
整数
模除
另一个 整数
and
第三 整数
和
equal
那个 另外 整数
and 0,
然后
equal
(取
那个 整数
和
那个 另外 整数
的底整数 和
那个 另外 整数
和
那个 第三 整数
) and
那个 整数
(=>
(
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 2316-2327
如果
equal
实数
and
方差均差函数
另一个 实数
and
串列
和
equal
1 and
那个 串列
的长度,
然后
equal
那个 实数
and (
那个 另外 实数
和
那个 串列
的第 1 几个元素) 和 (
那个 另外 实数
和
那个 串列
的第 1 几个元素)
(=>
(
and
(
instance
?H
HumanAdult
)
(
measure
?H
(
MeasureFn
?N
Pounds
)))
(
and
(
bloodVolume
?H
(
MeasureFn
?N2
Liter
))
(
equal
?N2
(
DivisionFn
(
MultiplicationFn
?N 0.07) 2.33))))
Medicine.kif 5931-5940
如果
人类
是
人类成人
的
instance
和
那个 人类
的
measure
是
实数
Pounds
,
然后
bloodVolume
那个 人类
and
那个 实数
2
升
和
equal
那个 实数
2 and
那个 实数
和 0.07 和 2.33
(=>
(
and
(
instance
?M
OnePercentMilk
)
(
measure
?M
(
MeasureFn
?N ?U))
(
instance
?U
UnitOfVolume
))
(
exists
(?BF ?N2)
(
and
(
instance
?BF
ButterFat
)
(
part
?BF ?M)
(
not
(
exists
(?F2)
(
and
(
instance
?F2
ButterFat
)
(
not
(
equal
?BF ?F2))
(
part
?F2 ?M))))
(
measure
?BF
(
MeasureFn
?N2 ?U))
(
equal
?N2
(
MultiplicationFn
0.01 ?N)))))
Food.kif 2976-2993
如果
客体
是
OnePercentMilk
的
instance
和
那个 客体
的
measure
是
实数
测量单位
和
那个 测量单位
是
UnitOfVolume
的
instance
,
然后 有存在
另一个 客体
和
那个 实数
2 这样
那个 另外 客体
是
ButterFat
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和 不存在
第三 客体
这样
那个 第三 客体
是
ButterFat
的
instance
和
equal
那个 另外 客体
and
那个 第三 客体
和
那个 第三 客体
是
那个 客体
的
part
和
那个 另外 客体
的
measure
是
那个 实数
2
那个 测量单位
和
equal
那个 实数
2 and 0.01 和
那个 实数
(=>
(
and
(
instance
?M
SemiSkimmedMilk
)
(
measure
?M
(
MeasureFn
?N ?U))
(
instance
?U
UnitOfVolume
))
(
exists
(?BF ?N2)
(
and
(
instance
?BF
ButterFat
)
(
part
?BF ?M)
(
not
(
exists
(?F2)
(
and
(
instance
?F2
ButterFat
)
(
not
(
equal
?BF ?F2))
(
part
?F2 ?M))))
(
measure
?BF
(
MeasureFn
?N2 ?U))
(
greaterThanOrEqualTo
?N2
(
MultiplicationFn
0.015 ?N))
(
lessThanOrEqualTo
?N2
(
MultiplicationFn
0.02 ?N)))))
Food.kif 3000-3018
如果
客体
是
SemiSkimmedMilk
的
instance
和
那个 客体
的
measure
是
实数
测量单位
和
那个 测量单位
是
UnitOfVolume
的
instance
,
然后 有存在
另一个 客体
和
那个 实数
2 这样
那个 另外 客体
是
ButterFat
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和 不存在
第三 客体
这样
那个 第三 客体
是
ButterFat
的
instance
和
equal
那个 另外 客体
and
那个 第三 客体
和
那个 第三 客体
是
那个 客体
的
part
和
那个 另外 客体
的
measure
是
那个 实数
2
那个 测量单位
和
那个 实数
2 是
greaterThanOrEqualTo
0.015 和
那个 实数
和
那个 实数
2 是
lessThanOrEqualTo
0.02 和
那个 实数
(=>
(
and
(
instance
?M
SkimmedMilk
)
(
measure
?M
(
MeasureFn
?N ?U))
(
instance
?U
UnitOfVolume
))
(
exists
(?BF ?N2)
(
and
(
instance
?BF
ButterFat
)
(
part
?BF ?M)
(
not
(
exists
(?F2)
(
and
(
instance
?F2
ButterFat
)
(
not
(
equal
?BF ?F2))
(
part
?F2 ?M))))
(
measure
?BF
(
MeasureFn
?N2 ?U))
(
greaterThanOrEqualTo
?N2
(
MultiplicationFn
0.0 ?N))
(
lessThanOrEqualTo
?N2
(
MultiplicationFn
0.005 ?N)))))
Food.kif 3025-3043
如果
客体
是
SkimmedMilk
的
instance
和
那个 客体
的
measure
是
实数
测量单位
和
那个 测量单位
是
UnitOfVolume
的
instance
,
然后 有存在
另一个 客体
和
那个 实数
2 这样
那个 另外 客体
是
ButterFat
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和 不存在
第三 客体
这样
那个 第三 客体
是
ButterFat
的
instance
和
equal
那个 另外 客体
and
那个 第三 客体
和
那个 第三 客体
是
那个 客体
的
part
和
那个 另外 客体
的
measure
是
那个 实数
2
那个 测量单位
和
那个 实数
2 是
greaterThanOrEqualTo
0.0 和
那个 实数
和
那个 实数
2 是
lessThanOrEqualTo
0.005 和
那个 实数
(=>
(
and
(
instance
?M
TwoPercentMilk
)
(
measure
?M
(
MeasureFn
?N ?U))
(
instance
?U
UnitOfVolume
))
(
exists
(?BF ?N2)
(
and
(
instance
?BF
ButterFat
)
(
part
?BF ?M)
(
not
(
exists
(?F2)
(
and
(
instance
?F2
ButterFat
)
(
not
(
equal
?BF ?F2))
(
part
?F2 ?M))))
(
measure
?BF
(
MeasureFn
?N2 ?U))
(
equal
?N2
(
MultiplicationFn
0.02 ?N)))))
Food.kif 2952-2969
如果
客体
是
TwoPercentMilk
的
instance
和
那个 客体
的
measure
是
实数
测量单位
和
那个 测量单位
是
UnitOfVolume
的
instance
,
然后 有存在
另一个 客体
和
那个 实数
2 这样
那个 另外 客体
是
ButterFat
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和 不存在
第三 客体
这样
那个 第三 客体
是
ButterFat
的
instance
和
equal
那个 另外 客体
and
那个 第三 客体
和
那个 第三 客体
是
那个 客体
的
part
和
那个 另外 客体
的
measure
是
那个 实数
2
那个 测量单位
和
equal
那个 实数
2 and 0.02 和
那个 实数
(=>
(
and
(
instance
?M
WholeMilk
)
(
measure
?M
(
MeasureFn
?N ?U))
(
instance
?U
UnitOfVolume
))
(
exists
(?BF ?N2)
(
and
(
instance
?BF
ButterFat
)
(
part
?BF ?M)
(
not
(
exists
(?F2)
(
and
(
instance
?F2
ButterFat
)
(
not
(
equal
?BF ?F2))
(
part
?F2 ?M))))
(
measure
?BF
(
MeasureFn
?N2 ?U))
(
greaterThanOrEqualTo
?N2
(
MultiplicationFn
0.0325 ?N))
(
lessThanOrEqualTo
?N2
(
MultiplicationFn
0.05 ?N)))))
Food.kif 2858-2876
如果
客体
是
WholeMilk
的
instance
和
那个 客体
的
measure
是
实数
测量单位
和
那个 测量单位
是
UnitOfVolume
的
instance
,
然后 有存在
另一个 客体
和
那个 实数
2 这样
那个 另外 客体
是
ButterFat
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和 不存在
第三 客体
这样
那个 第三 客体
是
ButterFat
的
instance
和
equal
那个 另外 客体
and
那个 第三 客体
和
那个 第三 客体
是
那个 客体
的
part
和
那个 另外 客体
的
measure
是
那个 实数
2
那个 测量单位
和
那个 实数
2 是
greaterThanOrEqualTo
0.0325 和
那个 实数
和
那个 实数
2 是
lessThanOrEqualTo
0.05 和
那个 实数
(=>
(
and
(
instance
?NUMBER
Integer
)
(
not
(
equal
?NUMBER 0)))
(
equal
1
(
MultiplicationFn
?NUMBER
(
ReciprocalFn
?NUMBER))))
Merge.kif 5114-5119
如果
实数
是
整数
的
instance
和
equal
那个 实数
and 0,
然后
equal
1 and
那个 实数
和
那个 实数
的倒数
(=>
(
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 3155-3169
如果
时间位置
是
变压器
的
instance
和
WireCoil
是
WireCoil
的
instance
和
另一个 WireCoil
是
WireCoil
的
instance
和
coilCount
那个 WireCoil
and
整数
和
coilCount
那个 另外 WireCoil
and
另一个 整数
和
那个 WireCoil
的
measure
是
伏特
实数
在
那个 时间位置
holdsDuring
,
然后
那个 另外 WireCoil
的
measure
是
伏特
另一个 实数
在
那个 时间位置
holdsDuring
和
equal
那个 另外 实数
and
那个 实数
和
那个 另外 整数
和
那个 整数
(=>
(
and
(
instance
?UNIT
UnitOfMeasure
)
(
equal
?SQUAREUNIT
(
SquareUnitFn
?UNIT)))
(
exists
(?NUM)
(
and
(
instance
?NUM
RealNumber
)
(
equal
(
MeasureFn
?NUM ?SQUAREUNIT)
(
MeasureFn
(
MultiplicationFn
?NUM ?NUM) ?UNIT)))))
Mid-level-ontology.kif 14971-14982
如果
测量单位
是
测量单位
的
instance
和
equal
另一个 测量单位
and
那个 测量单位
的
square
单位,
然后 有存在
实数
这样
那个 实数
是
实数
的
instance
和
equal
那个 实数
那个 另外 测量单位
and
那个 实数
和
那个 实数
那个 测量单位
(=>
(
and
(
instance
?WW
WaterWave
)
(
waveHeight
?WW ?WH))
(
exists
(?LIST ?WA ?U ?SWH)
(
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 2361-2376
如果
水波
是
水波
的
instance
和
波高
那个 水波
and
长度测量
,
然后 有存在
串列
,
水域
,, ,
测量单位
, and 和
实数
这样
那个 长度测量
是
那个 串列
的
member
和
那个 水域
是
水域
的
instance
和
那个 水波
是
located
在
那个 水域
和
那个 测量单位
是
UnitOfLength
的
instance
和
有效波高
那个 水域
,
那个 水波
出现 的
time
and
那个 实数
那个 测量单位
和
equal
那个 实数
and 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 2336-2354
如果
实数
测量单位
是
地理区域
的
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 2296-2310
如果
实数
测量单位
是
地理区域
的
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 2246-2256
如果
施事体
possesses
客体
和
那个 客体
的
measure
是
实数
ShareUnit
和
股票分割
是 对于
整数
和
另一个 整数
的
split
,
然后
equal
实体
and
那个 实数
和
那个 另外 整数
和
equal
另一个 实体
and
那个 实体
和
那个 整数
和
那个 客体
的
measure
是
那个 另外 实体
ShareUnit
在 紧接
那个 股票分割
出现 的
time
after
holdsDuring
(=>
(
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 540-550
如果
实数
测量单位
是
金融账户
的
principal
总额 和
另一个 实数
是
那个 金融账户
的
fixed
固定利息 和
那个 金融账户
是 对于
时距
的
simple
利息
第三 实数
那个 测量单位
和
equal
那个 另外 实数
_Decimal and
那个 另外 实数
和 100,
然后
equal
那个 第三 实数
and
那个 实数
和
那个 另外 实数
_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 18089-18114
如果
relativeAngle
客体
,
另一个 客体
and
实数
和
physicalEnd
第三 客体
and
那个 客体
和
physicalEnd
第四 客体
and
那个 客体
和
equal
那个 第三 客体
and
那个 第四 客体
和
那个 客体
的
length
是
那个 实数
测量单位
和
那个 另外 客体
的
length
是
那个 实数
那个 测量单位
和
那个 第三 客体
和
第五 客体
的
distance
是
那个 实数
那个 测量单位
和
physicalEnd
那个 第五 客体
and
那个 另外 客体
和
physicalEnd
第六 客体
and
那个 另外 客体
和
equal
那个 第五 客体
and
那个 第六 客体
和
那个 第三 客体
不 接上
那个 第五 客体
,
然后
equal
那个 实数
and
ArcCosineFn
((
那个 实数
和
那个 实数
和
那个 实数
和
那个 实数
) 和
那个 实数
和
那个 实数
) 和 2.0 和
那个 实数
和
那个 实数
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 572-572
equal
实数
弧分
and 60.0 和
那个 实数
弧秒
(
equal
(
MeasureFn
?NUM
AngularDegree
)
(
MeasureFn
(
MultiplicationFn
60.0 ?NUM)
ArcMinute
))
Geography.kif 553-553
equal
实数
圆周角度
and 60.0 和
那个 实数
弧分
(
equal
(
MeasureFn
?NUMBER
Amu
)
(
MeasureFn
(
MultiplicationFn
?NUMBER
(
DivisionFn
(
DivisionFn
(
DivisionFn
(
DivisionFn
1.6605402 1000000.0) 1000000.0) 1000000.0) 1000000.0))
Gram
))
Merge.kif 7177-7187
equal
实数
amu
and
那个 实数
和 1.6605402 和 1000000.0 和 1000000.0 和 1000000.0 和 1000000.0
公克
(
equal
(
MeasureFn
?NUMBER
Angstrom
)
(
MeasureFn
(
MultiplicationFn
?NUMBER
(
DivisionFn
(
DivisionFn
1.0 100000.0) 100000.0))
Meter
))
Merge.kif 7213-7219
equal
实数
埃
and
那个 实数
和 1.0 和 100000.0 和 100000.0
仪表
(
equal
(
MeasureFn
?NUMBER
AngularDegree
)
(
MeasureFn
(
MultiplicationFn
?NUMBER
(
DivisionFn
Pi
180.0))
Radian
))
Merge.kif 7411-7413
equal
实数
圆周角度
and
那个 实数
和
圆周率
和 180.0
弧度
(
equal
(
MeasureFn
?NUMBER
BritishThermalUnit
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1055.05585262)
Joule
))
Merge.kif 7397-7399
equal
实数
英国热量单位
and
那个 实数
和 1055.05585262
焦耳
(
equal
(
MeasureFn
?NUMBER
Byte
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 8)
Bit
))
Merge.kif 7469-7471
equal
实数
字节
and
那个 实数
和 8
位元
(
equal
(
MeasureFn
?NUMBER
Calorie
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 4.1868)
Joule
))
Merge.kif 7389-7391
equal
实数
卡路里
and
那个 实数
和 4.1868
焦耳
(
equal
(
MeasureFn
?NUMBER
Centimeter
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 0.01)
Meter
))
Merge.kif 6805-6807
equal
实数
厘米
and
那个 实数
和 0.01
仪表
(
equal
(
MeasureFn
?NUMBER
DayDuration
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 24)
HourDuration
))
Merge.kif 7112-7114
equal
实数
一天长度
and
那个 实数
和 24
小时
(
equal
(
MeasureFn
?NUMBER
ElectronVolt
)
(
MeasureFn
(
MultiplicationFn
?NUMBER
(
DivisionFn
(
DivisionFn
(
DivisionFn
1.60217733 1000000.0) 1000000.0) 10000000.0))
Joule
))
Merge.kif 7195-7203
equal
实数
电子伏特
and
那个 实数
和 1.60217733 和 1000000.0 和 1000000.0 和 10000000.0
焦耳
(
equal
(
MeasureFn
?NUMBER
EuroCent
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 0.01)
EuroDollar
))
Merge.kif 7449-7451
equal
实数
欧元分
and
那个 实数
和 0.01
欧元
(
equal
(
MeasureFn
?NUMBER
FootLength
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 0.3048)
Meter
))
Merge.kif 7230-7232
equal
实数
脚长
and
那个 实数
和 0.3048
仪表
(
equal
(
MeasureFn
?NUMBER
HourDuration
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 60)
MinuteDuration
))
Merge.kif 7120-7122
equal
实数
小时
and
那个 实数
和 60
分钟
(
equal
(
MeasureFn
?NUMBER
Inch
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 0.0254)
Meter
))
Merge.kif 7237-7239
equal
实数
英寸
and
那个 实数
和 0.0254
仪表
(
equal
(
MeasureFn
?NUMBER
KiloByte
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1024)
Byte
))
Merge.kif 7479-7481
equal
实数
千位元
and
那个 实数
和 1024
字节
(
equal
(
MeasureFn
?NUMBER
Kilogram
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1000)
Gram
))
Merge.kif 7323-7326
equal
实数
公斤
and
那个 实数
和 1000
公克
(
equal
(
MeasureFn
?NUMBER
KilogramForce
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 9.80665)
Newton
))
Mid-level-ontology.kif 5298-5301
equal
实数
KilogramForce
and
那个 实数
和 9.80665
牛顿
(
equal
(
MeasureFn
?NUMBER
Kilometer
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1000)
Meter
))
Merge.kif 6824-6827
equal
实数
公里
and
那个 实数
和 1000
仪表
(
equal
(
MeasureFn
?NUMBER
MegaByte
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1024)
KiloByte
))
Merge.kif 7489-7491
equal
实数
兆位元
and
那个 实数
和 1024
千位元
(
equal
(
MeasureFn
?NUMBER
Micrometer
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 0.0000001)
Meter
))
Geography.kif 7434-7437
equal
实数
微米
and
那个 实数
和 0.0000001
仪表
(
equal
(
MeasureFn
?NUMBER
Mile
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1609.344)
Meter
))
Merge.kif 7244-7246
equal
实数
英里
and
那个 实数
和 1609.344
仪表
(
equal
(
MeasureFn
?NUMBER
Millimeter
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 0.001)
Meter
))
Merge.kif 6814-6817
equal
实数
毫米
and
那个 实数
和 0.001
仪表
(
equal
(
MeasureFn
?NUMBER
MinuteDuration
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 60)
SecondDuration
))
Merge.kif 7128-7130
equal
实数
分钟
and
那个 实数
和 60
第二期
(
equal
(
MeasureFn
?NUMBER
PoundForce
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 4.448222)
Newton
))
Merge.kif 7379-7381
equal
实数
磅力
and
那个 实数
和 4.448222
牛顿
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