No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2355-2355 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2354-2354 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2353-2353 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55134-55134 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55133-55133 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55132-55132 |
|