No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 624-624 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 623-623 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 622-622 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18126-18126 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18125-18125 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18124-18124 |
|