No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14439-14439 |
stays et home sont disjoint |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 806-806 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 817-817 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 484-484 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 818-818 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 436-436 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 506-506 |
|
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 807-807 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 28424-28424 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 28423-28423 |
|