No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1607-1607 |
OPLAN 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1616-1616 |
和 TPFDD 破产 是 破产 的 subclass |
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 |
|