No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1084-1084 |
Capstone e' disjunto 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 |
|