No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56-56 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55-55 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54-54 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5433-5433 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5432-5432 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5431-5431 |
|