| MilitaryService(military service)
| | armed_forces, armed_service, armed_services, military, military_machine, military_service, service, war_machine |
| appearance as argument number 1 |
|
|
| (documentation MilitaryService EnglishLanguage "A branch of the armed forces of a Nation. For example, there are five military services in the United States, the army, the navy, the air force, the marines, and the coast guard.") | Mid-level-ontology.kif 8556-8558 | |
| (externalImage MilitaryService "http://upload.wikimedia.org/wikipedia/commons/ d/ d2/ Facendo_o_servizo_militar.1945-Spain.jpg") | pictureList.kif 6702-6702 | |
| (subclass MilitaryService MilitaryOrganization) | Mid-level-ontology.kif 8555-8555 | Military service is a subclass of military organization |
| appearance as argument number 2 |
|
|
| (subclass AirForce MilitaryService) | Mid-level-ontology.kif 8568-8568 | Air force is a subclass of military service |
| (subclass Army MilitaryService) | Mid-level-ontology.kif 8565-8565 | Army is a subclass of military service |
| (termFormat ChineseLanguage MilitaryService "兵役") | domainEnglishFormat.kif 37755-37755 | Army is a subclass of military service |
| (termFormat ChineseTraditionalLanguage MilitaryService "兵役") | domainEnglishFormat.kif 37754-37754 | Army is a subclass of military service |
| (termFormat EnglishLanguage MilitaryService "military service") | domainEnglishFormat.kif 37753-37753 | Army is a subclass of military service |
| consequent |
|
|
| (=> (and (attribute ?P ?R) (instance ?R MilitaryRank)) (member ?P MilitaryService)) |
Military.kif 249-253 |
|
|
|
|