Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
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 4703-4705
(
documentation
MultiplicationFn
JapaneseLanguage
"?NUMBER1 と ?NUMBER2 が
Number
の場合、 (
MultiplicationFn
?NUMBER1 ?NUMBER2) はこれらの数値の算術積である。")
japanese_format.kif 876-877
(
domain
MultiplicationFn
1
RealNumber
)
Merge.kif 4699-4699
MultiplicationFn
の数値 1 引数は
実数
の
instance
では %n
(
domain
MultiplicationFn
2
RealNumber
)
Merge.kif 4700-4700
MultiplicationFn
の数値 2 引数は
実数
の
instance
では %n
(
identityElement
MultiplicationFn
1)
Merge.kif 5294-5294
1 は
MultiplicationFn
の
identity
要素では %n
(
instance
MultiplicationFn
AssociativeFunction
)
Merge.kif 4695-4695
MultiplicationFn
は
結合関数
の
instance
では %n
(
instance
MultiplicationFn
BinaryFunction
)
Merge.kif 4694-4694
MultiplicationFn
は
2変数関数
の
instance
では %n
(
instance
MultiplicationFn
CommutativeFunction
)
Merge.kif 4696-4696
MultiplicationFn
は
可換関数
の
instance
では %n
(
instance
MultiplicationFn
TotalValuedRelation
)
Merge.kif 4698-4698
MultiplicationFn
は
合計値関係
の
instance
では %n
(
range
MultiplicationFn
RealNumber
)
Merge.kif 4701-4701
MultiplicationFn
の
range
は
実数
のインスタンス では %n
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 39183-39183
(
termFormat
ChineseLanguage
MultiplicationFn
"乘法函数")
chinese_format.kif 681-681
(
termFormat
ChineseTraditionalLanguage
MultiplicationFn
"乘法")
domainEnglishFormat.kif 39182-39182
(
termFormat
EnglishLanguage
MultiplicationFn
"multiplication")
domainEnglishFormat.kif 39181-39181
(
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 2080-2090
arableLandArea
地理的地域
and
実数
の
測定単位
(s)
実数
は 0.0
greater
では %n
totalArea
地理的地域
and
実数
の
測定単位
(s)
実数
は
面積測定
の
instance
では %n
実数
は
実数
+
実数
と
equal
では %n
arableLandArea
地理的地域
and
実数
の
測定単位
(s)
(=>
(
and
(
not
(
equal
?NUMBER2 0))
(
equal
(
AdditionFn
(
MultiplicationFn
(
FloorFn
(
DivisionFn
?NUMBER1 ?NUMBER2)) ?NUMBER2) ?NUMBER) ?NUMBER1))
(
equal
(
RemainderFn
?NUMBER1 ?NUMBER2) ?NUMBER))
Merge.kif 5117-5128
整数
は 0 と
equal
では (
整数
+
整数
以下の
largest
整数 +
整数
+
整数
) は
整数
と
equal
では %n
整数
を
整数
で割った剰余数 は
整数
と
equal
では %n
(=>
(
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 2165-2176
otherLandUseArea
地理的地域
and
実数
の
測定単位
(s)
実数
は 0.0
greater
では %n
totalArea
地理的地域
and
実数
の
測定単位
(s)
測定単位
は
UnitOfArea
の
instance
では %n
実数
は
実数
+
実数
と
equal
では %n
otherLandUseArea
地理的地域
and
実数
の
測定単位
(s)
(=>
(
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 2125-2136
permanentCropLandArea
地理的地域
and
実数
の
測定単位
(s)
実数
は 0.0
greater
では %n
totalArea
地理的地域
and
実数
の
測定単位
(s)
測定単位
は
UnitOfArea
の
instance
では %n
実数
は
実数
+
実数
と
equal
では %n
permanentCropLandArea
地理的地域
and
実数
の
測定単位
(s)
(=>
(
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 1107-1115
sectorCompositionOfGDPInPeriod
地政学的地域
,
IndustryAttribute
,
実数
and
時間間隔
totalGDPInPeriod
地政学的地域
,
実数
の
測定単位
(s) and
時間間隔
実数
は
実数
+
実数
と
equal
では %n
sectorValueOfGDPInPeriod
地政学的地域
,
IndustryAttribute
,
実数
の
測定単位
(s) and
時間間隔
(=>
(
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
simpleInterest
FinancialAccount
,
実数
の
測定単位
(s) and
時間間隔
principalAmount
FinancialAccount
and
実数
の
測定単位
(s)
実数
-Decimal は
実数
+
実数
と
equal
では %n
実数
は
実数
-Decimal + 100.0 と
equal
では %n
interestRatePerPeriod
FinancialAccount
,
実数
and
時間間隔
(=>
(
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 5968-5982
typicalBloodVolume
哺乳動物
and
実数
の
測定単位
(s)
bloodVolume
エンティティー
and
実数
2 の
測定単位
(s) は
時間位置
の
during
holds %n{ない}
エンティティー
は
哺乳動物
の
instance
では %n
実数
2 + 2.0 は
実数
より
greater
では %n
実数
2 は 0.8 +
実数
より
less
では %n
SevereBloodLoss
は
エンティティー
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
(=>
(
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 5950-5962
typicalBloodVolume
哺乳動物
and
実数
の
測定単位
(s)
bloodVolume
エンティティー
and
実数
2 の
測定単位
(s) は
時間位置
の
during
holds %n{ない}
エンティティー
は
哺乳動物
の
instance
では %n
実数
2 + 2.0 は
実数
より
less
では %n
CatastrophicBloodLoss
は
エンティティー
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
(=>
(
equal
?N
(
MultiplicationFn
1 ?N))
(
equal
(
MeasureFn
?N
MillenniumDuration
)
(
MeasureFn
(
MultiplicationFn
?N 1000)
YearDuration
)))
Mid-level-ontology.kif 13683-13687
実数
は 1 +
実数
と
equal
では %n
実数
の
MillenniumDuration
(s) は
実数
+ 1000 の
YearDuration
(s) と
equal
では %n
(=>
(
equal
?NUM
(
MultiplicationFn
1.0 ?NUM))
(
equal
(
MeasureFn
?NUM
NauticalMile
)
(
MeasureFn
(
MultiplicationFn
?NUM 1.151)
Mile
)))
Geography.kif 3912-3919
実数
は 1.0 +
実数
と
equal
では %n
実数
の
NauticalMile
(s) は
実数
+ 1.151 の
Mile
(s) と
equal
では %n
(=>
(
equal
?NUM
(
MultiplicationFn
1.0 ?NUM))
(
equal
(
MeasureFn
?NUM
NauticalMile
)
(
MeasureFn
(
MultiplicationFn
?NUM 1.852)
(
KiloFn
Meter
))))
Geography.kif 3894-3901
実数
は 1.0 +
実数
と
equal
では %n
実数
の
NauticalMile
(s) は
実数
+ 1.852 の 1 の
thousand
Meter
s(s) と
equal
では %n
(=>
(
equal
?NUM
(
MultiplicationFn
1.0 ?NUM))
(
equal
(
MeasureFn
?NUM
NauticalMile
)
(
MeasureFn
(
MultiplicationFn
?NUM 1852.0)
Meter
)))
Geography.kif 3885-3892
実数
は 1.0 +
実数
と
equal
では %n
実数
の
NauticalMile
(s) は
実数
+ 1852.0 の
Meter
(s) と
equal
では %n
(=>
(
equal
?NUM
(
MultiplicationFn
1.0 ?NUM))
(
equal
(
MeasureFn
?NUM
NauticalMile
)
(
MeasureFn
(
MultiplicationFn
?NUM 6076.1)
FootLength
)))
Geography.kif 3903-3910
実数
は 1.0 +
実数
と
equal
では %n
実数
の
NauticalMile
(s) は
実数
+ 6076.1 の
FootLength
(s) と
equal
では %n
(=>
(
equal
?NUM
(
MultiplicationFn
1.0 ?NUM))
(
equal
(
MeasureFn
?NUM
SquareKilometer
)
(
MeasureFn
(
MultiplicationFn
?NUM 1000000.0)
SquareMeter
)))
Geography.kif 625-631
実数
は 1.0 +
実数
と
equal
では %n
実数
の
SquareKilometer
(s) は
実数
+ 1000000.0 の
SquareMeter
(s) と
equal
では %n
(=>
(
equal
?NUMBER
(
MultiplicationFn
1 ?NUMBER))
(
equal
(
MeasureFn
?NUMBER
CenturyDuration
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 100)
YearDuration
)))
Mid-level-ontology.kif 19064-19068
実数
は 1 +
実数
と
equal
では %n
実数
の
CenturyDuration
(s) は
実数
+ 100 の
YearDuration
(s) と
equal
では %n
(=>
(
equal
?NUMBER
(
MultiplicationFn
1 ?NUMBER))
(
equal
(
MeasureFn
?NUMBER
DecadeDuration
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 10)
YearDuration
)))
Merge.kif 8759-8763
実数
は 1 +
実数
と
equal
では %n
実数
の
DecadeDuration
(s) は
実数
+ 10 の
YearDuration
(s) と
equal
では %n
(=>
(
equal
?NUMBER
(
MultiplicationFn
1.0 ?NUMBER))
(
equal
(
MeasureFn
?NUMBER
Fathom
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 6.0)
FootLength
)))
Geography.kif 3844-3848
実数
は 1.0 +
実数
と
equal
では %n
実数
の
Fathom
(s) は
実数
+ 6.0 の
FootLength
(s) と
equal
では %n
(=>
(
equal
?NUMBER
(
MultiplicationFn
1.0 ?NUMBER))
(
equal
(
MeasureFn
?NUMBER
LongTon
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 2240.0)
PoundMass
)))
Mid-level-ontology.kif 13618-13622
実数
は 1.0 +
実数
と
equal
では %n
実数
の
LongTon
(s) は
実数
+ 2240.0 の
PoundMass
(s) と
equal
では %n
(=>
(
equal
?NUMBER
(
MultiplicationFn
1.0 ?NUMBER))
(
equal
(
MeasureFn
?NUMBER
Nanometer
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 0.000000001)
Meter
)))
Mid-level-ontology.kif 19083-19089
実数
は 1.0 +
実数
と
equal
では %n
実数
の
Nanometer
(s) は
実数
+ 0.000000001 の
Meter
(s) と
equal
では %n
(=>
(
equal
?NUMBER
(
MultiplicationFn
1.0 ?NUMBER))
(
equal
(
MeasureFn
?NUMBER
RegistryTon
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 100.0)
CubicFoot
)))
Mid-level-ontology.kif 13668-13672
実数
は 1.0 +
実数
と
equal
では %n
実数
の
RegistryTon
(s) は
実数
+ 100.0 の
CubicFoot
(s) と
equal
では %n
(=>
(
equal
?NUMBER
(
MultiplicationFn
1.0 ?NUMBER))
(
equal
(
MeasureFn
?NUMBER
TonMass
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 2205.0)
PoundMass
)))
Mid-level-ontology.kif 13591-13595
実数
は 1.0 +
実数
と
equal
では %n
実数
の
TonMass
(s) は
実数
+ 2205.0 の
PoundMass
(s) と
equal
では %n
(=>
(
equal
?NUMBER
(
MultiplicationFn
1.0 ?NUMBER))
(
equal
(
MeasureFn
?NUMBER
YardLength
)
(
MeasureFn
(
MultiplicationFn
3.0 ?NUMBER)
FootLength
)))
Mid-level-ontology.kif 19073-19077
実数
は 1.0 +
実数
と
equal
では %n
実数
の
YardLength
(s) は 3.0 +
実数
の
FootLength
(s) と
equal
では %n
consequent
(<=>
(
measure
?O
(
MeasureFn
?A
MetricTon
))
(
measure
?O
(
MeasureFn
(
MultiplicationFn
?A 2205.0)
PoundMass
)))
Mid-level-ontology.kif 13605-13611
物理
の
measure
は
実数
の
MetricTon
(s) では %n
物理
の
measure
は
実数
+ 2205.0 の
PoundMass
(s) では %n
(<=>
(
measure
?OBJ
(
MeasureFn
?DEG
AngularDegree
))
(
measure
?OBJ
(
MeasureFn
(
MultiplicationFn
60.0 ?DEG)
ArcMinute
)))
Geography.kif 378-380
物理
の
measure
は
実数
の
AngularDegree
(s) では %n
物理
の
measure
は 60.0 +
実数
の
ArcMinute
(s) では %n
(<=>
(
measure
?OBJ
(
MeasureFn
?DEG
ArcMinute
))
(
measure
?OBJ
(
MeasureFn
(
MultiplicationFn
60.0 ?DEG)
ArcSecond
)))
Geography.kif 397-399
物理
の
measure
は
実数
の
ArcMinute
(s) では %n
物理
の
measure
は 60.0 +
実数
の
ArcSecond
(s) では %n
(=>
(
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 2092-2106
arableLandArea
地理的地域
and
実数
の
測定単位
(s)
実数
は 0.0
greater
では %n
totalArea
地理的地域
and
実数
の
測定単位
(s)
測定単位
は
UnitOfArea
の
instance
では %n
地理的地域
地理的地域
は
ArableLand
の
instance
では %n
geographicSubregion
地理的地域
and
地理的地域
地理的地域
の
measure
は
実数
+
実数
の
測定単位
(s) では %n
(=>
(
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
Muslim
は
AutonomousAgent
の
attribute
では %n
AutonomousAgent
の所有物の
value
は
通貨測定
と
equal
では %n
ステートメント
エンティティー
エンティティー
,
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
Zakat
の
instance
では %n
エンティティー
は
年
の
instance
では %n
エンティティー
は
AutonomousAgent
の
time
の existence の
during
に takes %n{ない}
FullyFormed
は
AutonomousAgent
の
attribute
では %n は
エンティティー
の
during
holds %n{ない}
AutonomousAgent
は
エンティティー
の
agent
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
の
value
は
エンティティー
の
エンティティー
(s) では %n
エンティティー
は
UnitOfCurrency
の
instance
では %n
エンティティー
は
通貨測定
+ 0.025 より
greater
では %n には
Obligation
の
modal
force
が ある
(=>
(
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 659-669
comparativeArea
地理的地域
,
BinaryRelationExtendedToQuantities
,
正の実数
and
地理的地域
測定単位
は
UnitOfArea
の
instance
では %n
地理的地域
の
measure
は
実数
の
測定単位
(s) では %n
地理的地域
の
measure
は
実数
の
測定単位
(s) では %n
BinaryRelationExtendedToQuantities
実数
の
測定単位
(s) and
正の実数
+
実数
の
測定単位
(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 13566-13575
defaultMeasure
オブジェクト
and
実数
の
測定単位
(s)
測定単位
は
CompositeUnitOfMeasure
の
instance
では %n
ステートメント
エンティティー
実数
UANTITY
エンティティー
は
オブジェクト
の
instance
では %n
エンティティー
の
measure
は
実数
UANTITY の
測定単位
(s) では %n
実数
UANTITY は
実数
+ 1.5 より
greater
では %n には
Unlikely
の
modal
force
が ある
(=>
(
and
(
defaultMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT))
(
instance
?UNIT
CompositeUnitOfMeasure
))
(
modalAttribute
(
exists
(?INST ?QUANTITY)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT))
(
lessThan
?QUANTITY
(
MultiplicationFn
?Q .5))))
Unlikely
))
Mid-level-ontology.kif 13577-13586
defaultMeasure
オブジェクト
and
実数
の
測定単位
(s)
測定単位
は
CompositeUnitOfMeasure
の
instance
では %n
ステートメント
エンティティー
実数
UANTITY
エンティティー
は
オブジェクト
の
instance
では %n
エンティティー
の
measure
は
実数
UANTITY の
測定単位
(s) では %n
実数
UANTITY は
実数
+ .5 より
less
では %n には
Unlikely
の
modal
force
が ある
(=>
(
and
(
equal
(
RemainderFn
?NUMBER1 ?NUMBER2) ?NUMBER)
(
not
(
equal
?NUMBER2 0)))
(
equal
(
AdditionFn
(
MultiplicationFn
(
FloorFn
(
DivisionFn
?NUMBER1 ?NUMBER2)) ?NUMBER2) ?NUMBER) ?NUMBER1))
Merge.kif 5104-5115
整数
を
整数
で割った剰余数 は
整数
と
equal
では %n
整数
は 0 と
equal
では
(
整数
+
整数
以下の
largest
整数 +
整数
+
整数
) は
整数
と
equal
では %n
(=>
(
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 1486-1497
実数
は
VarianceAverageFn
実数
and
リスト
と
equal
では %n 1 は
リスト
の
length
と
equal
では %n
実数
は (
実数
+
リスト
の 1th
element
) + (
実数
+
リスト
の 1th
element
) と
equal
では %n
(=>
(
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 5915-5924
人[人間]
は
HumanAdult
の
instance
では %n
人[人間]
の
measure
は
実数
の
Pounds
(s) では %n
bloodVolume
人[人間]
and
実数
2 の
Liter
(s)
実数
2 は
実数
+ 0.07 + 2.33 と
equal
では %n
(=>
(
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 2969-2986
オブジェクト
は
OnePercentMilk
の
instance
では %n
オブジェクト
の
measure
は
実数
の
測定単位
(s) では %n
測定単位
は
UnitOfVolume
の
instance
では %n
オブジェクト
実数
2
オブジェクト
は
ButterFat
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
オブジェクト
は
ButterFat
の
instance
では %n
オブジェクト
は
オブジェクト
と
equal
では
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
の
measure
は
実数
2 の
測定単位
(s) では %n
実数
2 は 0.01 +
実数
と
equal
では %n
(=>
(
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 2993-3011
オブジェクト
は
SemiSkimmedMilk
の
instance
では %n
オブジェクト
の
measure
は
実数
の
測定単位
(s) では %n
測定単位
は
UnitOfVolume
の
instance
では %n
オブジェクト
実数
2
オブジェクト
は
ButterFat
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
オブジェクト
は
ButterFat
の
instance
では %n
オブジェクト
は
オブジェクト
と
equal
では
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
の
measure
は
実数
2 の
測定単位
(s) では %n
実数
2 は 0.015 +
実数
greater
では %n
実数
2 は 0.02 +
実数
より
less
または同等 では %n
(=>
(
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 3018-3036
オブジェクト
は
SkimmedMilk
の
instance
では %n
オブジェクト
の
measure
は
実数
の
測定単位
(s) では %n
測定単位
は
UnitOfVolume
の
instance
では %n
オブジェクト
実数
2
オブジェクト
は
ButterFat
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
オブジェクト
は
ButterFat
の
instance
では %n
オブジェクト
は
オブジェクト
と
equal
では
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
の
measure
は
実数
2 の
測定単位
(s) では %n
実数
2 は 0.0 +
実数
greater
では %n
実数
2 は 0.005 +
実数
より
less
または同等 では %n
(=>
(
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 2945-2962
オブジェクト
は
TwoPercentMilk
の
instance
では %n
オブジェクト
の
measure
は
実数
の
測定単位
(s) では %n
測定単位
は
UnitOfVolume
の
instance
では %n
オブジェクト
実数
2
オブジェクト
は
ButterFat
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
オブジェクト
は
ButterFat
の
instance
では %n
オブジェクト
は
オブジェクト
と
equal
では
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
の
measure
は
実数
2 の
測定単位
(s) では %n
実数
2 は 0.02 +
実数
と
equal
では %n
(=>
(
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 2851-2869
オブジェクト
は
WholeMilk
の
instance
では %n
オブジェクト
の
measure
は
実数
の
測定単位
(s) では %n
測定単位
は
UnitOfVolume
の
instance
では %n
オブジェクト
実数
2
オブジェクト
は
ButterFat
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
オブジェクト
は
ButterFat
の
instance
では %n
オブジェクト
は
オブジェクト
と
equal
では
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
の
measure
は
実数
2 の
測定単位
(s) では %n
実数
2 は 0.0325 +
実数
greater
では %n
実数
2 は 0.05 +
実数
より
less
または同等 では %n
(=>
(
and
(
instance
?NUMBER
Integer
)
(
not
(
equal
?NUMBER 0)))
(
equal
1
(
MultiplicationFn
?NUMBER
(
ReciprocalFn
?NUMBER))))
Merge.kif 5086-5091
実数
は
整数
の
instance
では %n
実数
は 0 と
equal
では
1 は
実数
+
実数
の
reciprocal
と
equal
では %n
(=>
(
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
時間位置
は
ElectricalTransformer
の
instance
では %n
WireCoil
は
WireCoil
の
instance
では %n
WireCoil
は
WireCoil
の
instance
では %n
coilCount
WireCoil
and
整数
coilCount
WireCoil
and
整数
WireCoil
の
measure
は
Volt
の
実数
(s) では %n は
時間位置
の
during
holds %n{ない}
WireCoil
の
measure
は
Volt
の
実数
(s) では %n は
時間位置
の
during
holds %n{ない}
実数
は
実数
+
整数
+
整数
と
equal
では %n
(=>
(
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 1532-1547
WaterWave
は
WaterWave
の
instance
では %n
waveHeight
WaterWave
and
長さ測定
リスト
水域
,
測定単位
and
実数
長さ測定
は
リスト
の
member
では %n
水域
は
水域
の
instance
では %n
eventLocated
WaterWave
and
水域
測定単位
は
UnitOfLength
の
instance
では %n
significantWaveHeight
水域
,
WaterWave
の
time
の existence and
実数
の
測定単位
(s)
実数
は 4.0 +
StandardDeviationFn
リスト
と
equal
では %n
(=>
(
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 2178-2196
otherLandUseArea
地理的地域
and
実数
の
測定単位
(s)
実数
は 0.0
greater
では %n
totalArea
地理的地域
and
実数
の
測定単位
(s)
測定単位
は
UnitOfArea
の
instance
では %n
地理的地域
地理的地域
は
土地面積
の
instance
では %n
地理的地域
は
ArableLand
の
instance
では
地理的地域
は
PermanentCropLand
の
instance
では
geographicSubregion
地理的地域
and
地理的地域
地理的地域
の
measure
は
実数
+
実数
の
測定単位
(s) では %n
(=>
(
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 2138-2152
permanentCropLandArea
地理的地域
and
実数
の
測定単位
(s)
実数
は 0.0
greater
では %n
totalArea
地理的地域
and
実数
の
測定単位
(s)
測定単位
は
UnitOfArea
の
instance
では %n
地理的地域
地理的地域
は
PermanentCropLand
の
instance
では %n
geographicSubregion
地理的地域
and
地理的地域
地理的地域
の
measure
は
実数
+
実数
の
測定単位
(s) では %n
(=>
(
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 2229-2239
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
オブジェクト
の
measure
は
実数
の
ShareUnit
(s) では %n
splitFor
StockSplit
,
整数
and
整数
エンティティー
は
実数
+
整数
と
equal
では %n
エンティティー
は
エンティティー
+
整数
と
equal
では %n
オブジェクト
の
measure
は
エンティティー
の
ShareUnit
(s) では %n は
StockSplit
の
time
の existence の すぐ
after
の
during
holds %n{ない}
(=>
(
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
principalAmount
FinancialAccount
and
実数
の
測定単位
(s)
fixedInterestRate
FinancialAccount
and
実数
simpleInterest
FinancialAccount
,
実数
の
測定単位
(s) and
時間間隔
実数
-Decimal は
実数
+ 100 と
equal
では %n
実数
は
実数
+
実数
-Decimal と
equal
では %n
(=>
(
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 17906-17931
relativeAngle
オブジェクト
,
オブジェクト
and
実数
physicalEnd
オブジェクト
and
オブジェクト
physicalEnd
オブジェクト
and
オブジェクト
オブジェクト
は
オブジェクト
と
equal
では
オブジェクト
の
length
は
実数
1 の
測定単位
(s) では
オブジェクト
の
length
は
実数
2 の
測定単位
(s) では
オブジェクト
と
オブジェクト
の
distance
は
実数
3 の
測定単位
(s) では %n
physicalEnd
オブジェクト
and
オブジェクト
physicalEnd
オブジェクト
and
オブジェクト
オブジェクト
は
オブジェクト
と
equal
では
オブジェクト
は
オブジェクト
と
meet
ない
実数
は
ArcCosineFn
((
実数
3 +
実数
3 +
実数
1 +
実数
1) +
実数
2 +
実数
2) + 2.0 +
実数
1 +
実数
2 と
equal
では %n
(=>
(
attribute
?F
Flat
)
(
exists
(?S1 ?S2 ?HF ?H1 ?H2 ?U)
(
and
(
side
?S1 ?F)
(
side
?S2 ?F)
(
meetsSpatially
?S1 ?S2)
(
not
(
equal
?S1 ?S2))
(
instance
?U
UnitOfLength
)
(
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 2782-2795
Flat
は
自己接続オブジェクト
の
attribute
では %n
自己接続オブジェクト
自己接続オブジェクト
,
実数
,
実数
,
実数
and
測定単位
自己接続オブジェクト
の
side
は
自己接続オブジェクト
では
自己接続オブジェクト
の
side
は
自己接続オブジェクト
では
自己接続オブジェクト
は
自己接続オブジェクト
と
meet
s %n{ない}
自己接続オブジェクト
は
自己接続オブジェクト
と
equal
では
測定単位
は
UnitOfLength
の
instance
では %n
自己接続オブジェクト
の
height
は
実数
の
測定単位
(s) では %n
自己接続オブジェクト
の
height
は
実数
の
測定単位
(s) では %n
自己接続オブジェクト
の
height
は
実数
の
測定単位
(s) では %n
実数
は 2.0 +
実数
より
greater
では %n
実数
は 2.0 +
実数
より
greater
では %n
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
実数
の
ArcMinute
(s) は 60.0 +
実数
の
ArcSecond
(s) と
equal
では %n
(
equal
(
MeasureFn
?NUM
AngularDegree
)
(
MeasureFn
(
MultiplicationFn
60.0 ?NUM)
ArcMinute
))
Geography.kif 383-383
実数
の
AngularDegree
(s) は 60.0 +
実数
の
ArcMinute
(s) と
equal
では %n
(
equal
(
MeasureFn
?NUMBER
Amu
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1.6605402
E-24
)
Gram
))
Merge.kif 7151-7153
実数
の
Amu
(s) は
実数
+ 1.6605402E-24 の
Gram
(s) と
equal
では %n
(
equal
(
MeasureFn
?NUMBER
Angstrom
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1.0
E-10
)
Meter
))
Merge.kif 7173-7175
実数
の
Angstrom
(s) は
実数
+ 1.0E-10 の
Meter
(s) と
equal
では %n
(
equal
(
MeasureFn
?NUMBER
AngularDegree
)
(
MeasureFn
(
MultiplicationFn
?NUMBER
(
DivisionFn
Pi
180.0))
Radian
))
Merge.kif 7367-7369
実数
の
AngularDegree
(s) は
実数
+
パイ
+ 180.0 の
Radian
(s) と
equal
では %n
(
equal
(
MeasureFn
?NUMBER
BritishThermalUnit
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1055.05585262)
Joule
))
Merge.kif 7353-7355
実数
の
BritishThermalUnit
(s) は
実数
+ 1055.05585262 の
Joule
(s) と
equal
では %n
(
equal
(
MeasureFn
?NUMBER
Byte
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 8)
Bit
))
Merge.kif 7425-7427
実数
の
Byte
(s) は
実数
+ 8 の
Bit
(s) と
equal
では %n
(
equal
(
MeasureFn
?NUMBER
Calorie
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 4.1868)
Joule
))
Merge.kif 7345-7347
実数
の
Calorie
(s) は
実数
+ 4.1868 の
Joule
(s) と
equal
では %n
(
equal
(
MeasureFn
?NUMBER
Centimeter
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 0.01)
Meter
))
Merge.kif 6780-6782
実数
の
Centimeter
(s) は
実数
+ 0.01 の
Meter
(s) と
equal
では %n
(
equal
(
MeasureFn
?NUMBER
DayDuration
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 24)
HourDuration
))
Merge.kif 7087-7089
実数
の
DayDuration
(s) は
実数
+ 24 の
HourDuration
(s) と
equal
では %n
(
equal
(
MeasureFn
?NUMBER
ElectronVolt
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1.60217733
E-19
)
Joule
))
Merge.kif 7161-7163
実数
の
ElectronVolt
(s) は
実数
+ 1.60217733E-19 の
Joule
(s) と
equal
では %n
(
equal
(
MeasureFn
?NUMBER
EuroCent
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 0.01)
EuroDollar
))
Merge.kif 7405-7407
実数
の
EuroCent
(s) は
実数
+ 0.01 の
EuroDollar
(s) と
equal
では %n
(
equal
(
MeasureFn
?NUMBER
FootLength
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 0.3048)
Meter
))
Merge.kif 7186-7188
実数
の
FootLength
(s) は
実数
+ 0.3048 の
Meter
(s) と
equal
では %n
(
equal
(
MeasureFn
?NUMBER
HourDuration
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 60)
MinuteDuration
))
Merge.kif 7095-7097
実数
の
HourDuration
(s) は
実数
+ 60 の
MinuteDuration
(s) と
equal
では %n
(
equal
(
MeasureFn
?NUMBER
Inch
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 0.0254)
Meter
))
Merge.kif 7193-7195
実数
の
Inch
(s) は
実数
+ 0.0254 の
Meter
(s) と
equal
では %n
(
equal
(
MeasureFn
?NUMBER
KiloByte
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1024)
Byte
))
Merge.kif 7435-7437
実数
の
KiloByte
(s) は
実数
+ 1024 の
Byte
(s) と
equal
では %n
(
equal
(
MeasureFn
?NUMBER
Kilogram
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1000)
Gram
))
Merge.kif 7279-7282
実数
の
Kilogram
(s) は
実数
+ 1000 の
Gram
(s) と
equal
では %n
(
equal
(
MeasureFn
?NUMBER
Kilometer
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1000)
Meter
))
Merge.kif 6799-6802
実数
の
Kilometer
(s) は
実数
+ 1000 の
Meter
(s) と
equal
では %n
(
equal
(
MeasureFn
?NUMBER
MegaByte
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1024)
KiloByte
))
Merge.kif 7445-7447
実数
の
MegaByte
(s) は
実数
+ 1024 の
KiloByte
(s) と
equal
では %n
(
equal
(
MeasureFn
?NUMBER
Micrometer
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 0.0000001)
Meter
))
Geography.kif 7097-7100
実数
の
Micrometer
(s) は
実数
+ 0.0000001 の
Meter
(s) と
equal
では %n
(
equal
(
MeasureFn
?NUMBER
Mile
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 1609.344)
Meter
))
Merge.kif 7200-7202
実数
の
Mile
(s) は
実数
+ 1609.344 の
Meter
(s) と
equal
では %n
(
equal
(
MeasureFn
?NUMBER
Millimeter
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 0.001)
Meter
))
Merge.kif 6789-6792
実数
の
Millimeter
(s) は
実数
+ 0.001 の
Meter
(s) と
equal
では %n
(
equal
(
MeasureFn
?NUMBER
MinuteDuration
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 60)
SecondDuration
))
Merge.kif 7103-7105
実数
の
MinuteDuration
(s) は
実数
+ 60 の
SecondDuration
(s) と
equal
では %n
(
equal
(
MeasureFn
?NUMBER
PoundForce
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 4.448222)
Newton
))
Merge.kif 7335-7337
実数
の
PoundForce
(s) は
実数
+ 4.448222 の
Newton
(s) と
equal
では %n
(
equal
(
MeasureFn
?NUMBER
PoundMass
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 453.59237)
Gram
))
Merge.kif 7296-7298
実数
の
PoundMass
(s) は
実数
+ 453.59237 の
Gram
(s) と
equal
では %n
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