No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4418-4418 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4417-4417 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4416-4416 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 65926-65926 |
|