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 31131-31139
circumfrence
Object
and
LengthMeasure
RealNumber
UnitOfMeasure
直徑
Object
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 7687-7692
直徑
Object
and
LengthMeasure
RealNumber
UnitOfMeasure
半徑
Object
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 4941-4946
等於
Object
的
diameter
and
測量
RealNumber
and
UnitOfMeasure
RealNumber
等於
Object
的
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 13682-13686
等於
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 19063-19067
等於
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 8781-8785
等於
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 13617-13621
等於
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 19082-19088
等於
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 13667-13671
等於
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 13590-13594
等於
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 19072-19076
等於
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