|
|
   SystemeInternationalUnit
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2402-2402 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6239-6240 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1084-1085 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8746-8746 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6237-6237 | 子類 SystemeInternationalUnit and UnitOfMeasure |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6721-6721 | 例 安培 and SystemeInternationalUnit |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7041-7041 | 例 貝克勒爾 and SystemeInternationalUnit |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6760-6760 | 例 坎德拉 and SystemeInternationalUnit |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7002-7002 | 例 攝氏度 and SystemeInternationalUnit |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6913-6913 | 例 庫侖 and SystemeInternationalUnit |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6938-6938 | 例 法拉 and SystemeInternationalUnit |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6701-6701 | 例 公克 and SystemeInternationalUnit |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7055-7055 | 例 戈瑞 and SystemeInternationalUnit |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6991-6991 | 例 亨利 and SystemeInternationalUnit |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6853-6853 | 例 赫茲 and SystemeInternationalUnit |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6880-6880 | 例 焦耳 and SystemeInternationalUnit |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6733-6733 | 例 凱文度 and SystemeInternationalUnit |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7276-7276 | 例 公斤 and SystemeInternationalUnit |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7019-7019 | 例 流明 and SystemeInternationalUnit |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7029-7029 | 例 勒克司 and SystemeInternationalUnit |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6691-6691 | 例 儀表 and SystemeInternationalUnit |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6747-6747 | 例 痣 and SystemeInternationalUnit |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6862-6862 | 例 牛頓 and SystemeInternationalUnit |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6949-6949 | 例 歐姆 and SystemeInternationalUnit |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6871-6871 | 例 帕斯卡 and SystemeInternationalUnit |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6811-6811 | 例 弧度 and SystemeInternationalUnit |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6710-6710 | 例 第二期 and SystemeInternationalUnit |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6961-6961 | 例 西門子 and SystemeInternationalUnit |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7066-7066 | 例 希沃特 and SystemeInternationalUnit |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6822-6822 | 例 球面度 and SystemeInternationalUnit |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
|
