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 8348-8348
(externalImage Army "http://articulatesoftware.com/SUMOpictures/armed_services/ Army/ ARMY-2.png") pictureList.kif 236-236
(externalImage Army "http://upload.wikimedia.org/wikipedia/commons/9/9e/ Army.afnews.jpg") pictureList.kif 30-30
(subclass Army MilitaryService) Mid-level-ontology.kif 8347-8347 ArmyMilitaryServicesubclass では %n

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


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

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