No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 927-927 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 926-926 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 925-925 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22678-22678 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22677-22677 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22676-22676 |
|