No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3410-3410 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3409-3409 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3408-3408 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23380-23380 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23379-23379 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23378-23378 |
|