MilitaryOrganization |
appearance as argument number 1 |
(documentation MilitaryOrganization ChineseLanguage "这是任何属于 Government 一部分全副 武装的 Organization,它的使命是在国际纷争中代表 Government 出面。") | chinese_format.kif 3731-3732 | |
(documentation MilitaryOrganization EnglishLanguage "Any heavily armed Organization that is part of a Government and that is charged with representing the Government in international conflicts.") | Merge.kif 16668-16670 | |
(subclass MilitaryOrganization GovernmentOrganization) | Merge.kif 16667-16667 | MilitaryOrganization e' uma sub-classe de GovernmentOrganization |
(subclass MilitaryOrganization MilitaryForce) | Merge.kif 16666-16666 | MilitaryOrganization e' uma sub-classe de MilitaryForce |
appearance as argument number 2 |
appearance as argument number 3 |
(domain militaryOfArea 1 MilitaryOrganization) | Military.kif 825-825 | O argumento numero 1 de militaryOfArea e' uma instancia de MilitaryOrganization |
antecedent |
consequent |