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 |
The number 1 argument of graph measure is an instance of graph |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6150-6150 |
The number 2 argument of graph measure is an instance of unit of measure |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6148-6148 |
graph measure is an instance of binary predicate |