No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 790-790 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 793-793 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 476-476 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 794-794 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 428-428 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 498-498 |
|
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 791-791 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48579-48579 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48578-48578 |
|