Sigma KEE - equal

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 7012-7014	等於測量 RealNumber and 攝氏度 and 測量部減法 RealNumber and 32.0 and 1.8 and 華氏度
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7008-7010	等於測量 RealNumber and 攝氏度 and 測量減法 RealNumber and 273.15 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 7239-7241	等於測量 RealNumber and 杯子 and 測量部 RealNumber and 2 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 7248-7250	等於測量 RealNumber and 盎司 and 測量部 RealNumber and 8 and 杯子
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7230-7232	等於測量 RealNumber and 品脫 and 測量部 RealNumber and 2 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 公克
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7221-7223	等於測量 RealNumber and 夸脫 and 測量部 RealNumber and 4 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