TreeView Knowledge Base Browser - NavyBranchOfService

appearance as argument number 1

(subclass NavyBranchOfService MilitaryOrganization)	Military.kif 1080-1080	Navy branch of service is a subclass of military organization
(documentation NavyBranchOfService EnglishLanguage "MilitaryOrganizations that are sea forces.")	Military.kif 1081-1081	Navy branch of service is a subclass of military organization

appearance as argument number 2

(termFormat EnglishLanguage NavyBranchOfService "Navy")	Military.kif 1082-1082
(termFormat EnglishLanguage NavyBranchOfService "navy branch of service")	domainEnglishFormat.kif 40009-40009
(termFormat ChineseTraditionalLanguage NavyBranchOfService "海軍服務部門支部")	domainEnglishFormat.kif 40010-40010
(termFormat ChineseLanguage NavyBranchOfService "海军服务部门支部")	domainEnglishFormat.kif 40011-40011

antecedent

(=>
    (and
        (instance ?JOINT JointForces)
        (subOrganization ?FORCE1 ?JOINT)
        (instance ?FORCE1 NavyBranchOfService))
    (leaderPosition ?FORCE1 JointForcesMaritimeCommander))

consequent

(=> (attribute ?C Corpsman) (member ?C NavyBranchOfService))	MilitaryPersons.kif 754-756	If hospital corpsman is an attribute of X, then X is a member of navy branch of service
(=> (attribute ?P SEAL) (member ?P NavyBranchOfService))	MilitaryPersons.kif 807-809	If United States Navy Sea, Air, and Land Team member is an attribute of X, then X is a member of navy branch of service
(=> (and (instance ?R ANSPY6) (possesses ?N ?R) (uses ?R ?N)) (and (instance ?N NavyBranchOfService) (subOrganization ?N USMilitary)))	Transportation.kif 5377-5384	If X is an instance of An/SPY-6, Y possesses X, and Y uses X, then Y is an instance of navy branch of service and Y is a part of the organization US military