ProduceStudies(produce studies) |
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 | Produce studies is a subclass of creation |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1224-1224 | Produce studies is a subclass of psychological operation |
appearance as argument number 2 |
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. | domainEnglishFormat.kif 47569-47569 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47568-47568 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2783-2783 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1233-1238 |
|