No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1065-1065 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1064-1064 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1063-1063 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24320-24320 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24319-24319 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24318-24318 |
|