| 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 9111-9113 | |
| (externalImage MilitaryService "http://upload.wikimedia.org/wikipedia/commons/ d/ d2/ Facendo_o_servizo_militar.1945-Spain.jpg") | pictureList.kif 6701-6701 | |
| (subclass MilitaryService MilitaryOrganization) | Mid-level-ontology.kif 9110-9110 | Military service is a subclass of military organization |
| appearance as argument number 2 |
|
|
| (subclass AirForce MilitaryService) | Mid-level-ontology.kif 9123-9123 | Air force is a subclass of military service |
| (subclass Army MilitaryService) | Mid-level-ontology.kif 9120-9120 | Army is a subclass of military service |
| (termFormat ChineseLanguage MilitaryService "兵役") | domainEnglishFormat.kif 37747-37747 | Army is a subclass of military service |
| (termFormat ChineseTraditionalLanguage MilitaryService "兵役") | domainEnglishFormat.kif 37746-37746 | Army is a subclass of military service |
| (termFormat EnglishLanguage MilitaryService "military service") | domainEnglishFormat.kif 37745-37745 | Army is a subclass of military service |
| consequent |
|
|
| (=> (and (attribute ?P ?R) (instance ?R MilitaryRank)) (member ?P MilitaryService)) |
Military.kif 316-320 |
|
|
|
|