No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 798-798 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 805-805 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 480-480 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 806-806 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 432-432 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 502-502 |
|
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 799-799 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26472-26472 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26471-26471 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26470-26470 |
|