CivilAffairs(civil affairs) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2341-2345 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5916-5916 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6273-6273 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6274-6274 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6275-6275 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2340-2340 | Civil affairs is a subclass of military force |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14934-14934 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14933-14933 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14932-14932 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2350-2360 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2377-2382 |
|