No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1977-1977 |
HN military assistance is a subclass of foreign internal defense |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1986-1986 |
Population security is a subclass of foreign internal defense |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24656-24656 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24655-24655 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24654-24654 |
|