No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1241-1241 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1240-1240 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1239-1239 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29283-29283 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29282-29282 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29281-29281 |
|