No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 100-100 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 99-99 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 98-98 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5928-5928 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5927-5927 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5926-5926 |
|