No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6721-6721 |
安培 是 国际单位制 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7041-7041 |
贝克勒尔 是 国际单位制 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6760-6760 |
坎德拉 是 国际单位制 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7002-7002 |
摄氏度 是 国际单位制 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6913-6913 |
库仑 是 国际单位制 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6938-6938 |
法拉 是 国际单位制 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6701-6701 |
公克 是 国际单位制 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7055-7055 |
戈瑞 是 国际单位制 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6991-6991 |
亨利 是 国际单位制 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6853-6853 |
赫兹 是 国际单位制 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6880-6880 |
焦耳 是 国际单位制 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6733-6733 |
凯文度 是 国际单位制 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7276-7276 |
公斤 是 国际单位制 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7019-7019 |
流明 是 国际单位制 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7029-7029 |
勒克司 是 国际单位制 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6691-6691 |
仪表 是 国际单位制 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6747-6747 |
痣 是 国际单位制 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6862-6862 |
牛顿 是 国际单位制 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6949-6949 |
欧姆 是 国际单位制 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6871-6871 |
帕斯卡 是 国际单位制 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6811-6811 |
弧度 是 国际单位制 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6710-6710 |
第二期 是 国际单位制 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6961-6961 |
西门子 是 国际单位制 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7066-7066 |
希沃特 是 国际单位制 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6822-6822 |
球面度 是 国际单位制 的 instance |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |