No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 376-376 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 375-375 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 374-374 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13206-13206 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13205-13205 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13204-13204 |
|