| Army(army)
| | Continental_Army, army, ground_forces, regular_army |
| appearance as argument number 1 |
|
|
| (documentation Army EnglishLanguage "MilitaryServices that are land forces.") | Mid-level-ontology.kif 8320-8320 | |
| (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 8319-8319 | Army is a subclass of military service |
| 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 |
|
|
|
|