No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1029-1029 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1028-1028 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1027-1027 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24074-24074 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24073-24073 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24072-24072 |
|