MultiplicationFn - Sigma Knowledge base Browser

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 RealNumberUANTITY 例 entity and Object 測量 entity and 測量 RealNumberUANTITY and UnitOfMeasure 比較多 RealNumberUANTITY 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 RealNumberUANTITY 例 entity and Object 測量 entity and 測量 RealNumberUANTITY and UnitOfMeasure 少於 RealNumberUANTITY 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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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

KB Term:			Term intersection

English Word: