No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1084-1084 |
Capstone est disjoint de Keystone |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 32359-32359 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 32358-32358 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2777-2777 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 32357-32357 |
|