|
|
   CivilAffairs
|
|
|
| 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 |
|
|
|
|
