No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 700-700 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 699-699 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 698-698 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18888-18888 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18887-18887 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18886-18886 |
|