Army - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Army MilitaryService)	Mid-level-ontology.kif 9707-9707	Army is a subclass of military service
(documentation Army EnglishLanguage "MilitaryServices that are land forces.")	Mid-level-ontology.kif 9708-9708	Army is a subclass of military service
(externalImage Army "http://upload.wikimedia.org/wikipedia/commons/9/9e/ Army.afnews.jpg")	pictureList.kif 30-30	Army is a subclass of military service
(externalImage Army "http://articulatesoftware.com/SUMOpictures/armed_services/ Army/ ARMY-2.png")	pictureList.kif 236-236	Army is a subclass of military service

appearance as argument number 2

(termFormat EnglishLanguage Army "army")	domainEnglishFormat.kif 8446-8446
(termFormat ChineseTraditionalLanguage Army "軍隊")	domainEnglishFormat.kif 8447-8447
(termFormat ChineseLanguage Army "军队")	domainEnglishFormat.kif 8448-8448

antecedent

(=>
    (and
        (instance ?JOINT JointForces)
        (subOrganization ?FORCE1 ?JOINT)
        (instance ?FORCE1 Army))
    (leaderPosition ?FORCE1 JointForcesLandCommander))

If X is an instance of joint forces, Y is a part of the organization X, and Y is an instance of army, then joint forces land commander is a leader position of Y