No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 88-88 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 87-87 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 86-86 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5910-5910 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5909-5909 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5908-5908 |
|