ChairmanPublication(主席出版物) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1026-1026 | 主席出版物 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1028-1029 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2653-2653 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1027-1027 | 主席出版物 详尽无遗地 partition 成 主席指示 和 主席手册 |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1025-1025 | 主席出版物 是 文本 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1055-1055 | 主席指示 是 主席出版物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1067-1067 | 主席手册 是 主席出版物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14052-14052 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14051-14051 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14050-14050 |
antecedent |
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 |