No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24-24 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23-23 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22-22 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2716-2716 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5082-5082 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5081-5081 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5080-5080 |
|