No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3626-3626 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3625-3625 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3624-3624 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27786-27786 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27785-27785 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27784-27784 |
|