No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 2391-2393 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6152-6155 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 1071-1073 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6149-6149 |
graphMeasure 的 1 数量 是 图 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6150-6150 |
graphMeasure 的 2 数量 是 测量单位 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6148-6148 |
graphMeasure 是 二元谓语 的 instance |