No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 648-648 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 647-647 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 646-646 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18612-18612 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18611-18611 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18610-18610 |
|