No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 688-688 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 687-687 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 686-686 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18774-18774 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18773-18773 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18772-18772 |
|