No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 979-979 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 978-978 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 977-977 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22984-22984 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22983-22983 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22982-22982 |
|