No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 808-808 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 807-807 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 806-806 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20604-20604 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20603-20603 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20602-20602 |
|