(subclass MilitaryService MilitaryOrganization) | Mid-level-ontology.kif 8337-8337 | Military service is a subclass of military organization |
(subclass Army MilitaryService) | Mid-level-ontology.kif 8347-8347 | Army is a subclass of military service |
(subclass AirForce MilitaryService) | Mid-level-ontology.kif 8350-8350 | Air force is a subclass of military service |