Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Army
Army(军队)

appearance as argument number 1
-------------------------


(documentation Army EnglishLanguage "MilitaryServices that are land forces.") Mid-level-ontology.kif 7997-7997
(externalImage Army "http://upload.wikimedia.org/wikipedia/commons/9/9e/ Army.afnews.jpg") pictureList.kif 30-30
(externalImage Army "http://www.adampease.org/Articulate/SUMOpictures/pictures/ armed_services/ Army/ ARMY-2.png") pictureList.kif 236-236
(subclass Army MilitaryService) Mid-level-ontology.kif 7996-7996 军队兵役subclass

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage Army "军队") domainEnglishFormat.kif 8457-8457
(termFormat ChineseTraditionalLanguage Army "軍隊") domainEnglishFormat.kif 8456-8456
(termFormat EnglishLanguage Army "army") domainEnglishFormat.kif 8455-8455

antecedent
-------------------------


(=>
    (and
        (instance ?JOINT JointForces)
        (subOrganization ?FORCE1 ?JOINT)
        (instance ?FORCE1 Army))
    (leaderPosition ?FORCE1 JointForcesLandCommander))
MilitaryPersons.kif 393-398


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners