No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 448-448 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 447-447 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 446-446 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14484-14484 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14483-14483 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14482-14482 |
|