No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4310-4310 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4309-4309 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4308-4308 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3037-3037 |
|