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
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 2212-2213
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4703-4705
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 876-877
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4699-4699
域
乘法
, 1 and
RealNumber
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4700-4700
域
乘法
, 2 and
RealNumber
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5294-5294
身份元素
乘法
and 1
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4695-4695
例
乘法
and
AssociativeFunction
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4694-4694
例
乘法
and
BinaryFunction
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4696-4696
例
乘法
and
CommutativeFunction
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4698-4698
例
乘法
and
TotalValuedRelation
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4701-4701
範圍
乘法
and
RealNumber
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 680-680
No TPTP formula. May not be expressible in strict first order.
english_format.kif 682-682
No TPTP formula. May not be expressible in strict first order.
french_format.kif 413-413
No TPTP formula. May not be expressible in strict first order.
relations-it.txt 196-196
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 2130-2130
No TPTP formula. May not be expressible in strict first order.
portuguese_format.kif 365-365
No TPTP formula. May not be expressible in strict first order.
relations-cz.txt 422-422
No TPTP formula. May not be expressible in strict first order.
relations-de.txt 887-887
No TPTP formula. May not be expressible in strict first order.
relations-hindi.txt 234-234
No TPTP formula. May not be expressible in strict first order.
relations-ro.kif 435-435
No TPTP formula. May not be expressible in strict first order.
relations-sv.txt 457-457
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 377-377
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 39183-39183
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 681-681
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 39182-39182
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 39181-39181
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 378-378
antecedent
No TPTP formula. May not be expressible in strict first order.
Geography.kif 2080-2090
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的
arable
土地
大於或等於
RealNumber
and 0.0
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的
total
區域
例
RealNumber
and
AreaMeasure
等於
RealNumber
and
乘法
RealNumber
and
RealNumber
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的
arable
土地
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5117-5128
等於
Integer
and 0
等於
加成
乘法
地板
部
Integer
and
Integer
and
Integer
and
Integer
and
Integer
等於
剩餘
Integer
and
Integer
and
Integer
No TPTP formula. May not be expressible in strict first order.
Geography.kif 2165-2176
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的
other
土地使用地區
大於或等於
RealNumber
and 0.0
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的
total
區域
例
UnitOfMeasure
and
UnitOfArea
等於
RealNumber
and
乘法
RealNumber
and
RealNumber
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的
other
土地使用地區
No TPTP formula. May not be expressible in strict first order.
Geography.kif 2125-2136
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的
permanent
農作地區
大於或等於
RealNumber
and 0.0
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的
total
區域
例
UnitOfMeasure
and
UnitOfArea
等於
RealNumber
and
乘法
RealNumber
and
RealNumber
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的
permanent
農作地區
No TPTP formula. May not be expressible in strict first order.
Economy.kif 1107-1115
GeopoliticalArea
是 對於
RealNumber
和
TimeInterval
在 週期
行業屬性
的 GDP
sector
組成
GeopoliticalArea
是 對於
TimeInterval
在 週期
測量
RealNumber
and
UnitOfMeasure
的
totalGDP
等於
RealNumber
and
乘法
RealNumber
and
RealNumber
GeopoliticalArea
是
測量
RealNumber
and
UnitOfMeasure
和
TimeInterval
在 週期
行業屬性
的
sector
GDP 價值
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 587-597
金融賬戶
是 對於
TimeInterval
的
simple
利息
測量
RealNumber
and
UnitOfMeasure
測量
RealNumber
and
UnitOfMeasure
是
金融賬戶
的
principal
總額
等於
RealNumber
-Decimal and
部
RealNumber
and
RealNumber
等於
RealNumber
and
乘法
RealNumber
-Decimal and 100.0
金融賬戶
是 對於
TimeInterval
每周期
RealNumber
的
interest
速率
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 5968-5982
typicalBloodVolume
Mammal
and
測量
RealNumber
and
UnitOfMeasure
持有期間
TimePosition
and
bloodVolume
Entity
and
測量
RealNumber
and
UnitOfMeasure
例
Entity
and
Mammal
比較多
乘法
RealNumber
and 2.0 and
RealNumber
少於
RealNumber
and
乘法
0.8 and
RealNumber
持有期間
TimePosition
and
attribute
Entity
and
SevereBloodLoss
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 5950-5962
typicalBloodVolume
Mammal
and
測量
RealNumber
and
UnitOfMeasure
持有期間
TimePosition
and
bloodVolume
Entity
and
測量
RealNumber
and
UnitOfMeasure
例
Entity
and
Mammal
少於
乘法
RealNumber
and 2.0 and
RealNumber
持有期間
TimePosition
and
attribute
Entity
and
CatastrophicBloodLoss
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 13683-13687
等於
RealNumber
and
乘法
1 and
RealNumber
等於
測量
RealNumber
and
MillenniumDuration
and
測量
乘法
RealNumber
and 1000 and
年持續時間
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3912-3919
等於
RealNumber
and
乘法
1.0 and
RealNumber
等於
測量
RealNumber
and
海裡
and
測量
乘法
RealNumber
and 1.151 and
英里
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3894-3901
等於
RealNumber
and
乘法
1.0 and
RealNumber
等於
測量
RealNumber
and
海裡
and
測量
乘法
RealNumber
and 1.852 and
千
儀表
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3885-3892
等於
RealNumber
and
乘法
1.0 and
RealNumber
等於
測量
RealNumber
and
海裡
and
測量
乘法
RealNumber
and 1852.0 and
儀表
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3903-3910
等於
RealNumber
and
乘法
1.0 and
RealNumber
等於
測量
RealNumber
and
海裡
and
測量
乘法
RealNumber
and 6076.1 and
腳長
No TPTP formula. May not be expressible in strict first order.
Geography.kif 625-631
等於
RealNumber
and
乘法
1.0 and
RealNumber
等於
測量
RealNumber
and
平方千米
and
測量
乘法
RealNumber
and 1000000.0 and
平方米
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 19064-19068
等於
RealNumber
and
乘法
1 and
RealNumber
等於
測量
RealNumber
and
CenturyDuration
and
測量
乘法
RealNumber
and 100 and
年持續時間
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8759-8763
等於
RealNumber
and
乘法
1 and
RealNumber
等於
測量
RealNumber
and
DecadeDuration
and
測量
乘法
RealNumber
and 10 and
年持續時間
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3844-3848
等於
RealNumber
and
乘法
1.0 and
RealNumber
等於
測量
RealNumber
and
推測
and
測量
乘法
RealNumber
and 6.0 and
腳長
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 13618-13622
等於
RealNumber
and
乘法
1.0 and
RealNumber
等於
測量
RealNumber
and
長噸
and
測量
乘法
RealNumber
and 2240.0 and
磅質量
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 19083-19089
等於
RealNumber
and
乘法
1.0 and
RealNumber
等於
測量
RealNumber
and
Nanometer
and
測量
乘法
RealNumber
and 0.000000001 and
儀表
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 13668-13672
等於
RealNumber
and
乘法
1.0 and
RealNumber
等於
測量
RealNumber
and
註冊表噸
and
測量
乘法
RealNumber
and 100.0 and
立方英尺
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 13591-13595
等於
RealNumber
and
乘法
1.0 and
RealNumber
等於
測量
RealNumber
and
噸質量
and
測量
乘法
RealNumber
and 2205.0 and
磅質量
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 19073-19077
等於
RealNumber
and
乘法
1.0 and
RealNumber
等於
測量
RealNumber
and
院子長度
and
測量
乘法
3.0 and
RealNumber
and
腳長
consequent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 13605-13611
測量
Physical
and
測量
RealNumber
and
公噸
測量
Physical
and
測量
乘法
RealNumber
and 2205.0 and
磅質量
No TPTP formula. May not be expressible in strict first order.
Geography.kif 378-380
測量
Physical
and
測量
RealNumber
and
圓周角度
測量
Physical
and
測量
乘法
60.0 and
RealNumber
and
弧分
No TPTP formula. May not be expressible in strict first order.
Geography.kif 397-399
測量
Physical
and
測量
RealNumber
and
弧分
測量
Physical
and
測量
乘法
60.0 and
RealNumber
and
弧秒
No TPTP formula. May not be expressible in strict first order.
Geography.kif 2092-2106
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的
arable
土地
大於或等於
RealNumber
and 0.0
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的
total
區域
例
UnitOfMeasure
and
UnitOfArea
GeographicArea
例
GeographicArea
and
耕地
GeographicArea
是
GeographicArea
的
geographic
次要地區
測量
GeographicArea
and
測量
乘法
RealNumber
and
RealNumber
and
UnitOfMeasure
No TPTP formula. May not be expressible in strict first order.
ArabicCulture.kif 204-223
attribute
AutonomousAgent
and
穆斯林
等於
財富
AutonomousAgent
and
CurrencyMeasure
模態屬性
entity
entity
,
entity
,
entity
and
entity
例
entity
and
天課
例
entity
and
年
期間
entity
and
何時
AutonomousAgent
持有期間
entity
and
attribute
AutonomousAgent
and
完全成型
agent
entity
and
AutonomousAgent
患者
entity
and
entity
貨幣價值
entity
and
測量
entity
and
entity
例
entity
and
UnitOfCurrency
比較多
entity
and
乘法
CurrencyMeasure
and 0.025 and
義務
No TPTP formula. May not be expressible in strict first order.
Geography.kif 659-669
GeographicArea
comparative
地區
BinaryRelationExtendedToQuantities
對於
PositiveRealNumber
跟
GeographicArea
在一起
例
UnitOfMeasure
and
UnitOfArea
測量
GeographicArea
and
測量
RealNumber
and
UnitOfMeasure
測量
GeographicArea
and
測量
RealNumber
and
UnitOfMeasure
BinaryRelationExtendedToQuantities
測量
RealNumber
and
UnitOfMeasure
and
測量
乘法
PositiveRealNumber
and
RealNumber
and
UnitOfMeasure
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 13566-13575
Object
的預期
value
是
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
CompositeUnitOfMeasure
模態屬性
entity
RealNumber
UANTITY
例
entity
and
Object
測量
entity
and
測量
RealNumber
UANTITY and
UnitOfMeasure
比較多
RealNumber
UANTITY and
乘法
RealNumber
and 1.5 and
較不可能
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 13577-13586
Object
的預期
value
是
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
CompositeUnitOfMeasure
模態屬性
entity
RealNumber
UANTITY
例
entity
and
Object
測量
entity
and
測量
RealNumber
UANTITY and
UnitOfMeasure
少於
RealNumber
UANTITY and
乘法
RealNumber
and .5 and
較不可能
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5104-5115
等於
剩餘
Integer
and
Integer
and
Integer
等於
Integer
and 0
等於
加成
乘法
地板
部
Integer
and
Integer
and
Integer
and
Integer
and
Integer
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1486-1497
等於
RealNumber
and
VarianceAverageFn
RealNumber
and
List
等於
1 and
列表長度
List
等於
RealNumber
and
乘法
減法
RealNumber
and
清單順序
List
and 1 and
減法
RealNumber
and
清單順序
List
and 1
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 5915-5924
例
Human
and
人類成人
測量
Human
and
測量
RealNumber
and
Pounds
bloodVolume
Human
and
測量
RealNumber
and
升
等於
RealNumber
and
部
乘法
RealNumber
and 0.07 and 2.33
No TPTP formula. May not be expressible in strict first order.
Food.kif 2969-2986
例
Object
and
OnePercentMilk
測量
Object
and
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfVolume
Object
RealNumber
例
Object
and
ButterFat
部分
Object
and
Object
Object
例
Object
and
ButterFat
等於
Object
and
Object
部分
Object
and
Object
測量
Object
and
測量
RealNumber
and
UnitOfMeasure
等於
RealNumber
and
乘法
0.01 and
RealNumber
No TPTP formula. May not be expressible in strict first order.
Food.kif 2993-3011
例
Object
and
SemiSkimmedMilk
測量
Object
and
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfVolume
Object
RealNumber
例
Object
and
ButterFat
部分
Object
and
Object
Object
例
Object
and
ButterFat
等於
Object
and
Object
部分
Object
and
Object
測量
Object
and
測量
RealNumber
and
UnitOfMeasure
大於或等於
RealNumber
and
乘法
0.015 and
RealNumber
小於或等於
RealNumber
and
乘法
0.02 and
RealNumber
No TPTP formula. May not be expressible in strict first order.
Food.kif 3018-3036
例
Object
and
SkimmedMilk
測量
Object
and
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfVolume
Object
RealNumber
例
Object
and
ButterFat
部分
Object
and
Object
Object
例
Object
and
ButterFat
等於
Object
and
Object
部分
Object
and
Object
測量
Object
and
測量
RealNumber
and
UnitOfMeasure
大於或等於
RealNumber
and
乘法
0.0 and
RealNumber
小於或等於
RealNumber
and
乘法
0.005 and
RealNumber
No TPTP formula. May not be expressible in strict first order.
Food.kif 2945-2962
例
Object
and
TwoPercentMilk
測量
Object
and
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfVolume
Object
RealNumber
例
Object
and
ButterFat
部分
Object
and
Object
Object
例
Object
and
ButterFat
等於
Object
and
Object
部分
Object
and
Object
測量
Object
and
測量
RealNumber
and
UnitOfMeasure
等於
RealNumber
and
乘法
0.02 and
RealNumber
No TPTP formula. May not be expressible in strict first order.
Food.kif 2851-2869
例
Object
and
WholeMilk
測量
Object
and
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfVolume
Object
RealNumber
例
Object
and
ButterFat
部分
Object
and
Object
Object
例
Object
and
ButterFat
等於
Object
and
Object
部分
Object
and
Object
測量
Object
and
測量
RealNumber
and
UnitOfMeasure
大於或等於
RealNumber
and
乘法
0.0325 and
RealNumber
小於或等於
RealNumber
and
乘法
0.05 and
RealNumber
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5086-5091
例
RealNumber
and
Integer
等於
RealNumber
and 0
等於
1 and
乘法
RealNumber
and
互相
RealNumber
No TPTP formula. May not be expressible in strict first order.
Cars.kif 3095-3109
例
TimePosition
and
變壓器
例
WireCoil
and
WireCoil
例
WireCoil
and
WireCoil
coilCount
WireCoil
and
Integer
coilCount
WireCoil
and
Integer
持有期間
TimePosition
and
測量
WireCoil
and
測量
伏特
and
RealNumber
持有期間
TimePosition
and
測量
WireCoil
and
測量
伏特
and
RealNumber
等於
RealNumber
and
乘法
RealNumber
and
部
Integer
and
Integer
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1532-1547
例
水波
and
水波
waveHeight
水波
and
LengthMeasure
List
WaterArea
,
UnitOfMeasure
and
RealNumber
在列表中
LengthMeasure
and
List
例
WaterArea
and
WaterArea
水波
是
located
在
WaterArea
例
UnitOfMeasure
and
UnitOfLength
significantWaveHeight
WaterArea
,
何時
水波
and
測量
RealNumber
and
UnitOfMeasure
等於
RealNumber
and
乘法
4.0 and
StandardDeviationFn
List
No TPTP formula. May not be expressible in strict first order.
Geography.kif 2178-2196
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的
other
土地使用地區
大於或等於
RealNumber
and 0.0
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的
total
區域
例
UnitOfMeasure
and
UnitOfArea
GeographicArea
例
GeographicArea
and
LandArea
例
GeographicArea
and
耕地
例
GeographicArea
and
永久性耕地
GeographicArea
是
GeographicArea
的
geographic
次要地區
測量
GeographicArea
and
測量
乘法
RealNumber
and
RealNumber
and
UnitOfMeasure
No TPTP formula. May not be expressible in strict first order.
Geography.kif 2138-2152
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的
permanent
農作地區
大於或等於
RealNumber
and 0.0
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的
total
區域
例
UnitOfMeasure
and
UnitOfArea
GeographicArea
例
GeographicArea
and
永久性耕地
GeographicArea
是
GeographicArea
的
geographic
次要地區
測量
GeographicArea
and
測量
乘法
RealNumber
and
RealNumber
and
UnitOfMeasure
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2229-2239
擁有
AutonomousAgent
and
Object
測量
Object
and
測量
RealNumber
and
ShareUnit
股票分割
是 對於
Integer
和
Integer
的
split
持有期間
眼前的未來
何時
股票分割
and
等於
entity
and
乘法
RealNumber
and
Integer
等於
entity
and
部
entity
and
Integer
測量
Object
and
測量
entity
and
ShareUnit
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 538-548
測量
RealNumber
and
UnitOfMeasure
是
金融賬戶
的
principal
總額
RealNumber
是
金融賬戶
的
fixed
固定利息
金融賬戶
是 對於
TimeInterval
的
simple
利息
測量
RealNumber
and
UnitOfMeasure
等於
RealNumber
-Decimal and
部
RealNumber
and 100
等於
RealNumber
and
乘法
RealNumber
and
RealNumber
-Decimal
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17906-17931
relativeAngle
Object
,
Object
and
RealNumber
physicalEnd
Object
and
Object
physicalEnd
Object
and
Object
等於
Object
and
Object
length
Object
and
測量
RealNumber
and
UnitOfMeasure
length
Object
and
測量
RealNumber
and
UnitOfMeasure
距離
Object
,
Object
and
測量
RealNumber
and
UnitOfMeasure
physicalEnd
Object
and
Object
physicalEnd
Object
and
Object
等於
Object
and
Object
空間的符合
Object
and
Object
等於
RealNumber
and
ArcCosineFn
部
減法
減法
乘法
RealNumber
and
RealNumber
and
乘法
RealNumber
and
RealNumber
and
乘法
RealNumber
and
RealNumber
and
乘法
2.0 and
乘法
RealNumber
and
RealNumber
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 2782-2795
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
高度
SelfConnectedObject
and
測量
RealNumber
and
UnitOfMeasure
高度
SelfConnectedObject
and
測量
RealNumber
and
UnitOfMeasure
高度
SelfConnectedObject
and
測量
RealNumber
and
UnitOfMeasure
比較多
RealNumber
and
乘法
2.0 and
RealNumber
比較多
RealNumber
and
乘法
2.0 and
RealNumber
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
No TPTP formula. May not be expressible in strict first order.
Geography.kif 402-402
等於
測量
RealNumber
and
弧分
and
測量
乘法
60.0 and
RealNumber
and
弧秒
No TPTP formula. May not be expressible in strict first order.
Geography.kif 383-383
等於
測量
RealNumber
and
圓周角度
and
測量
乘法
60.0 and
RealNumber
and
弧分
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7151-7153
等於
測量
RealNumber
and
amu
and
測量
乘法
RealNumber
and 1.6605402E-24 and
公克
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7173-7175
等於
測量
RealNumber
and
埃
and
測量
乘法
RealNumber
and 1.0E-10 and
儀表
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7367-7369
等於
測量
RealNumber
and
圓周角度
and
測量
乘法
RealNumber
and
部
Pi
and 180.0 and
弧度
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7353-7355
等於
測量
RealNumber
and
英國熱量單位
and
測量
乘法
RealNumber
and 1055.05585262 and
焦耳
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7425-7427
等於
測量
RealNumber
and
字節
and
測量
乘法
RealNumber
and 8 and
位元
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7345-7347
等於
測量
RealNumber
and
卡路里
and
測量
乘法
RealNumber
and 4.1868 and
焦耳
No TPTP formula. May not be expressible in strict first order.
Merge.kif 6780-6782
等於
測量
RealNumber
and
厘米
and
測量
乘法
RealNumber
and 0.01 and
儀表
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7087-7089
等於
測量
RealNumber
and
一天長度
and
測量
乘法
RealNumber
and 24 and
小時
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7161-7163
等於
測量
RealNumber
and
電子伏特
and
測量
乘法
RealNumber
and 1.60217733E-19 and
焦耳
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7405-7407
等於
測量
RealNumber
and
歐元分
and
測量
乘法
RealNumber
and 0.01 and
歐元
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7186-7188
等於
測量
RealNumber
and
腳長
and
測量
乘法
RealNumber
and 0.3048 and
儀表
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7095-7097
等於
測量
RealNumber
and
小時
and
測量
乘法
RealNumber
and 60 and
分鐘
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7193-7195
等於
測量
RealNumber
and
英寸
and
測量
乘法
RealNumber
and 0.0254 and
儀表
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7435-7437
等於
測量
RealNumber
and
千位元
and
測量
乘法
RealNumber
and 1024 and
字節
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7279-7282
等於
測量
RealNumber
and
公斤
and
測量
乘法
RealNumber
and 1000 and
公克
No TPTP formula. May not be expressible in strict first order.
Merge.kif 6799-6802
等於
測量
RealNumber
and
公里
and
測量
乘法
RealNumber
and 1000 and
儀表
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7445-7447
等於
測量
RealNumber
and
兆位元
and
測量
乘法
RealNumber
and 1024 and
千位元
No TPTP formula. May not be expressible in strict first order.
Geography.kif 7097-7100
等於
測量
RealNumber
and
Micrometer
and
測量
乘法
RealNumber
and 0.0000001 and
儀表
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7200-7202
等於
測量
RealNumber
and
英里
and
測量
乘法
RealNumber
and 1609.344 and
儀表
No TPTP formula. May not be expressible in strict first order.
Merge.kif 6789-6792
等於
測量
RealNumber
and
毫米
and
測量
乘法
RealNumber
and 0.001 and
儀表
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7103-7105
等於
測量
RealNumber
and
分鐘
and
測量
乘法
RealNumber
and 60 and
第二期
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7335-7337
等於
測量
RealNumber
and
磅力
and
測量
乘法
RealNumber
and 4.448222 and
牛頓
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7296-7298
等於
測量
RealNumber
and
磅質量
and
測量
乘法
RealNumber
and 453.59237 and
公克
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