ProduceStudies(進行研究) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1226-1231 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8666-8666 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9569-9569 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1225-1225 | 子類 進行研究 and Creation |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1224-1224 | 子類 進行研究 and 心理操作 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47572-47572 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47571-47571 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47570-47570 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2834-2834 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1233-1238 |