No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 2547-2549 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6951-6956 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 1249-1251 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6741-6741 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7464-7464 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6948-6948 |
欧姆 是 CompositeUnitOfMeasure 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6949-6949 |
欧姆 是 国际单位制 的 instance |