ForeignInternalDefense(foreign internal defense) |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1907-1938 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1906-1906 | Foreign internal defense is a subclass of helping |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1905-1905 | Foreign internal defense is a subclass of military operation |
appearance as argument number 2 |
![]() |
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 24655-24655 | Population security is a subclass of foreign internal defense |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24654-24654 | Population security is a subclass of foreign internal defense |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24653-24653 | Population security is a subclass of foreign internal defense |
antecedent |
![]() |
![]() |
![]() |