No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 2497-2499 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6723-6728 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 1193-1196 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5849-5849 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6720-6720 |
安培 是 CompositeUnitOfMeasure 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6721-6721 |
安培 是 国际单位制 的 instance |