| Navy-BranchOfService(海军服务部门 - 支部) | |
| appearance as argument number 1 |
|
|
| (documentation Navy-BranchOfService EnglishLanguage "MilitaryOrganizations that are sea forces.") | Military.kif 817-817 | |
| (subclass Navy-BranchOfService MilitaryOrganization) | Military.kif 816-816 | 海军服务部门 - 支部 是 军事组织 的 subclass |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Navy-BranchOfService "海军服务部门 - 支部") | domainEnglishFormat.kif 39990-39990 | |
| (termFormat ChineseTraditionalLanguage Navy-BranchOfService "海軍服務部門-支部") | domainEnglishFormat.kif 39989-39989 | |
| (termFormat EnglishLanguage Navy-BranchOfService "Navy") | Military.kif 818-818 | |
| (termFormat EnglishLanguage Navy-BranchOfService "navy- branch of service") | domainEnglishFormat.kif 39988-39988 |
| antecedent |
|
|
| (=> (and (instance ?JOINT JointForces) (subOrganization ?FORCE1 ?JOINT) (instance ?FORCE1 Navy-BranchOfService)) (leaderPosition ?FORCE1 JointForcesMaritimeCommander)) |
MilitaryPersons.kif 417-422 |
|
|
|