| 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 | ProduceStudies est une sous-classe de cr�ation |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1224-1224 | ProduceStudies est une sous-classe de PsychologicalOperation |
| 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 |
|
|
|