No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 915-915 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 914-914 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 913-913 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22342-22342 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22341-22341 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22340-22340 |
|