No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 508-508 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 507-507 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 506-506 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16206-16206 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16205-16205 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16204-16204 |
|