ChairmanJCS
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 918-919 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 912-912 | 例 主席JCs and Position |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 917-917 | 主席JCs 是 聯合參謀長 的 leader 職位 |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 899-899 | 主席JCs 是 聯合工作人員 的 leader 職位 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14040-14040 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14039-14039 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2764-2764 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14038-14038 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 914-916 |
consequent |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1582-1604 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 964-971 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1034-1041 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1046-1053 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 930-937 |