No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 2508-2510 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6763-6768 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 1206-1209 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5897-5897 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6760-6760 |
坎德拉 是 CompositeUnitOfMeasure 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6761-6761 |
坎德拉 是 国际单位制 的 instance |