No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 792-792 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 796-796 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 477-477 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 797-797 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 429-429 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 499-499 |
|
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 793-793 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56900-56900 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56899-56899 |
|