No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 947-947 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 946-946 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 945-945 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22888-22888 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22887-22887 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22886-22886 |
|