| 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 9572-9572 | |
| (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 9571-9571 | Army is a subclass of military service |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Army "军队") | domainEnglishFormat.kif 8455-8455 | |
| (termFormat ChineseTraditionalLanguage Army "軍隊") | domainEnglishFormat.kif 8454-8454 | |
| (termFormat EnglishLanguage Army "army") | domainEnglishFormat.kif 8453-8453 |
| antecedent |
|
|
| (=> (and (instance ?JOINT JointForces) (subOrganization ?FORCE1 ?JOINT) (instance ?FORCE1 Army)) (leaderPosition ?FORCE1 JointForcesLandCommander)) |
MilitaryPersons.kif 404-409 |
|
|
|
|