No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1026-1026 |
不相交的 主席出版物 and 聯合作戰準則 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1083-1083 |
子類 頂點 and 聯合作戰準則 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1091-1091 |
子類 拱心石 and 聯合作戰準則 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 31675-31675 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 31674-31674 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 31673-31673 |
|