No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 464-464 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 463-463 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 462-462 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 15228-15228 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 15227-15227 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 15226-15226 |
|