MultiplicationFn
(=>
(
attribute
?F
LongAndThin
)
(
exists
(?S1 ?S2 ?HF ?H1 ?H2 ?U)
(
and
(
side
?S1 ?F)
(
side
?S2 ?F)
(
meetsSpatially
?S1 ?S2)
(
not
(
equal
?S1 ?S2))
(
instance
?U
UnitOfLength
)
(
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 2803-2816
attribute
SelfConnectedObject
and
又長又瘦
SelfConnectedObject
SelfConnectedObject
,
RealNumber
,
RealNumber
,
RealNumber
and
UnitOfMeasure
側
SelfConnectedObject
and
SelfConnectedObject
側
SelfConnectedObject
and
SelfConnectedObject
空間的符合
SelfConnectedObject
and
SelfConnectedObject
等於
SelfConnectedObject
and
SelfConnectedObject
例
UnitOfMeasure
and
UnitOfLength
length
SelfConnectedObject
and
測量
RealNumber
and
UnitOfMeasure
length
SelfConnectedObject
and
測量
RealNumber
and
UnitOfMeasure
length
SelfConnectedObject
and
測量
RealNumber
and
UnitOfMeasure
少於
RealNumber
and
乘法
3.0 and
RealNumber
少於
RealNumber
and
乘法
3.0 and
RealNumber
(=>
(
circumfrence
?CIRCLE ?LENGTH)
(
exists
(?D ?UNIT)
(
and
(
diameter
?CIRCLE
(
MeasureFn
?D ?UNIT))
(
equal
(
MeasureFn
(
MultiplicationFn
?D 3.14) ?UNIT) ?LENGTH))))
Mid-level-ontology.kif 31138-31146
circumfrence
圈
and
LengthMeasure
RealNumber
UnitOfMeasure
直徑
圈
and
測量
RealNumber
and
UnitOfMeasure
等於
測量
乘法
RealNumber
and 3.14 and
UnitOfMeasure
and
LengthMeasure
(=>
(
diameter
?CIRCLE ?LENGTH)
(
exists
(?NHALF ?UHALF)
(
and
(
radius
?CIRCLE
(
MeasureFn
?NHALF ?UHALF))
(
equal
(
MeasureFn
(
MultiplicationFn
?NHALF 2) ?UHALF) ?LENGTH))))
Merge.kif 7669-7674
直徑
圈
and
LengthMeasure
RealNumber
UnitOfMeasure
半徑
圈
and
測量
RealNumber
and
UnitOfMeasure
等於
測量
乘法
RealNumber
and 2 and
UnitOfMeasure
and
LengthMeasure
(=>
(
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 4952-4957
等於
圈
的
diameter
and
測量
RealNumber
and
UnitOfMeasure
RealNumber
等於
圈
的
radius
and
測量
RealNumber
and
UnitOfMeasure
等於
乘法
RealNumber
and 2.0 and
RealNumber
(=>
(
equal
(
SquareRootFn
?NUMBER1) ?NUMBER2)
(
equal
(
MultiplicationFn
?NUMBER2 ?NUMBER2) ?NUMBER1))
Merge.kif 5225-5227
等於
平方根
RealNumber
and
RealNumber
等於
乘法
RealNumber
and
RealNumber
and
RealNumber
(=>
(
equal
?AMOUNT
(
MeasureFn
?NUM
NauticalMile
))
(
equal
?AMOUNT
(
MeasureFn
(
MultiplicationFn
?NUM 1.151)
Mile
)))
Geography.kif 3877-3883
等於
PhysicalQuantity
and
測量
RealNumber
and
海裡
等於
PhysicalQuantity
and
測量
乘法
RealNumber
and 1.151 and
英里
(=>
(
equal
?AMOUNT
(
MeasureFn
?NUM
NauticalMile
))
(
equal
?AMOUNT
(
MeasureFn
(
MultiplicationFn
?NUM 1.852)
(
KiloFn
Meter
))))
Geography.kif 3869-3875
等於
PhysicalQuantity
and
測量
RealNumber
and
海裡
等於
PhysicalQuantity
and
測量
乘法
RealNumber
and 1.852 and
千
儀表
(=>
(
equal
?AMOUNT
(
MeasureFn
?X
Joule
))
(
equal
?AMOUNT
(
MeasureFn
(
MultiplicationFn
0.0002778 ?X)
Watt
)))
Economy.kif 2016-2018
等於
PhysicalQuantity
and
測量
RealNumber
and
焦耳
等於
PhysicalQuantity
and
測量
乘法
0.0002778 and
RealNumber
and
瓦
(=>
(
equal
?AMOUNT
(
MeasureFn
?X
KilowattHour
))
(
equal
?AMOUNT
(
MeasureFn
(
MultiplicationFn
3600000.0 ?X)
Joule
)))
Economy.kif 2011-2013
等於
PhysicalQuantity
and
測量
RealNumber
and
千瓦時
等於
PhysicalQuantity
and
測量
乘法
3600000.0 and
RealNumber
and
焦耳
(=>
(
equal
?N
(
MultiplicationFn
1 ?N))
(
equal
(
MeasureFn
?N
MillenniumDuration
)
(
MeasureFn
(
MultiplicationFn
?N 1000)
YearDuration
)))
Mid-level-ontology.kif 13683-13687
等於
RealNumber
and
乘法
1 and
RealNumber
等於
測量
RealNumber
and
MillenniumDuration
and
測量
乘法
RealNumber
and 1000 and
年持續時間
(=>
(
equal
?NUM
(
MultiplicationFn
1.0 ?NUM))
(
equal
(
MeasureFn
?NUM
NauticalMile
)
(
MeasureFn
(
MultiplicationFn
?NUM 1.151)
Mile
)))
Geography.kif 3912-3919
等於
RealNumber
and
乘法
1.0 and
RealNumber
等於
測量
RealNumber
and
海裡
and
測量
乘法
RealNumber
and 1.151 and
英里
(=>
(
equal
?NUM
(
MultiplicationFn
1.0 ?NUM))
(
equal
(
MeasureFn
?NUM
NauticalMile
)
(
MeasureFn
(
MultiplicationFn
?NUM 1.852)
(
KiloFn
Meter
))))
Geography.kif 3894-3901
等於
RealNumber
and
乘法
1.0 and
RealNumber
等於
測量
RealNumber
and
海裡
and
測量
乘法
RealNumber
and 1.852 and
千
儀表
(=>
(
equal
?NUM
(
MultiplicationFn
1.0 ?NUM))
(
equal
(
MeasureFn
?NUM
NauticalMile
)
(
MeasureFn
(
MultiplicationFn
?NUM 1852.0)
Meter
)))
Geography.kif 3885-3892
等於
RealNumber
and
乘法
1.0 and
RealNumber
等於
測量
RealNumber
and
海裡
and
測量
乘法
RealNumber
and 1852.0 and
儀表
(=>
(
equal
?NUM
(
MultiplicationFn
1.0 ?NUM))
(
equal
(
MeasureFn
?NUM
NauticalMile
)
(
MeasureFn
(
MultiplicationFn
?NUM 6076.1)
FootLength
)))
Geography.kif 3903-3910
等於
RealNumber
and
乘法
1.0 and
RealNumber
等於
測量
RealNumber
and
海裡
and
測量
乘法
RealNumber
and 6076.1 and
腳長
(=>
(
equal
?NUM
(
MultiplicationFn
1.0 ?NUM))
(
equal
(
MeasureFn
?NUM
SquareKilometer
)
(
MeasureFn
(
MultiplicationFn
?NUM 1000000.0)
SquareMeter
)))
Geography.kif 625-631
等於
RealNumber
and
乘法
1.0 and
RealNumber
等於
測量
RealNumber
and
平方千米
and
測量
乘法
RealNumber
and 1000000.0 and
平方米
(=>
(
equal
?NUMBER
(
MultiplicationFn
1 ?NUMBER))
(
equal
(
MeasureFn
?NUMBER
CenturyDuration
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 100)
YearDuration
)))
Mid-level-ontology.kif 19064-19068
等於
RealNumber
and
乘法
1 and
RealNumber
等於
測量
RealNumber
and
CenturyDuration
and
測量
乘法
RealNumber
and 100 and
年持續時間
(=>
(
equal
?NUMBER
(
MultiplicationFn
1 ?NUMBER))
(
equal
(
MeasureFn
?NUMBER
DecadeDuration
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 10)
YearDuration
)))
Merge.kif 8759-8763
等於
RealNumber
and
乘法
1 and
RealNumber
等於
測量
RealNumber
and
DecadeDuration
and
測量
乘法
RealNumber
and 10 and
年持續時間
(=>
(
equal
?NUMBER
(
MultiplicationFn
1.0 ?NUMBER))
(
equal
(
MeasureFn
?NUMBER
Fathom
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 6.0)
FootLength
)))
Geography.kif 3844-3848
等於
RealNumber
and
乘法
1.0 and
RealNumber
等於
測量
RealNumber
and
推測
and
測量
乘法
RealNumber
and 6.0 and
腳長
(=>
(
equal
?NUMBER
(
MultiplicationFn
1.0 ?NUMBER))
(
equal
(
MeasureFn
?NUMBER
LongTon
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 2240.0)
PoundMass
)))
Mid-level-ontology.kif 13618-13622
等於
RealNumber
and
乘法
1.0 and
RealNumber
等於
測量
RealNumber
and
長噸
and
測量
乘法
RealNumber
and 2240.0 and
磅質量
(=>
(
equal
?NUMBER
(
MultiplicationFn
1.0 ?NUMBER))
(
equal
(
MeasureFn
?NUMBER
Nanometer
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 0.000000001)
Meter
)))
Mid-level-ontology.kif 19083-19089
等於
RealNumber
and
乘法
1.0 and
RealNumber
等於
測量
RealNumber
and
Nanometer
and
測量
乘法
RealNumber
and 0.000000001 and
儀表
(=>
(
equal
?NUMBER
(
MultiplicationFn
1.0 ?NUMBER))
(
equal
(
MeasureFn
?NUMBER
RegistryTon
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 100.0)
CubicFoot
)))
Mid-level-ontology.kif 13668-13672
等於
RealNumber
and
乘法
1.0 and
RealNumber
等於
測量
RealNumber
and
註冊表噸
and
測量
乘法
RealNumber
and 100.0 and
立方英尺
(=>
(
equal
?NUMBER
(
MultiplicationFn
1.0 ?NUMBER))
(
equal
(
MeasureFn
?NUMBER
TonMass
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 2205.0)
PoundMass
)))
Mid-level-ontology.kif 13591-13595
等於
RealNumber
and
乘法
1.0 and
RealNumber
等於
測量
RealNumber
and
噸質量
and
測量
乘法
RealNumber
and 2205.0 and
磅質量
(=>
(
equal
?NUMBER
(
MultiplicationFn
1.0 ?NUMBER))
(
equal
(
MeasureFn
?NUMBER
YardLength
)
(
MeasureFn
(
MultiplicationFn
3.0 ?NUMBER)
FootLength
)))
Mid-level-ontology.kif 19073-19077
等於
RealNumber
and
乘法
1.0 and
RealNumber
等於
測量
RealNumber
and
院子長度
and
測量
乘法
3.0 and
RealNumber
and
腳長
(=>
(
instance
?L
Lungo
)
(
exists
(?E ?V)
(
and
(
instance
?E
Espresso
)
(
part
?E ?L)
(
measure
?E
(
MeasureFn
?V
Liter
))
(
instance
?V
RealNumber
)
(
measure
?L
(
MeasureFn
(
MultiplicationFn
?V 2)
Liter
)))))
Food.kif 770-781
例
Object
and
Lungo
Object
RealNumber
例
Object
and
Espresso
部分
Object
and
Object
測量
Object
and
測量
RealNumber
and
升
例
RealNumber
and
RealNumber
測量
Object
and
測量
乘法
RealNumber
and 2 and
升
(=>
(
instance
?N
RealNumber
)
(
equal
(
MeasureFn
?N
Horsepower
)
(
MeasureFn
(
MultiplicationFn
?N 746)
Watt
)))
Merge.kif 6902-6906
例
RealNumber
and
RealNumber
等於
測量
RealNumber
and
馬力
and
測量
乘法
RealNumber
and 746 and
瓦
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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