No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1607-1607 |
不相交的 OPLAN and 破產 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1616-1616 |
子類 和 TPFDD 破產 and 破產 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16680-16680 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16679-16679 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16678-16678 |
|