No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4722-4722 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4721-4721 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4720-4720 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56647-56647 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56646-56646 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56645-56645 |
|