No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 228-228 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 227-227 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 226-226 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9342-9342 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9341-9341 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1847-1847 |
|