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 8665-8665 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9568-9568 | |
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 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 2956-2956 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1233-1238 |
|
![]() |
![]() |