No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3414-3414 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3413-3413 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3412-3412 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23386-23386 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23385-23385 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23384-23384 |
|