No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 784-784 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 784-784 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 473-473 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 785-785 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 425-425 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 495-495 |
|
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 785-785 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47200-47200 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47199-47199 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47198-47198 |
|