No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 716-716 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 718-718 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 431-431 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 241-241 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2148-2148 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 383-383 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-de.txt 929-929 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 279-279 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 453-453 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 488-488 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48802-48802 |
|
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 717-717 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48801-48801 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48800-48800 |
|