No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 28-28 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27-27 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2714-2714 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26-26 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5088-5088 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5087-5087 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5086-5086 |
|