(subclass MilitaryService MilitaryOrganization) | Mid-level-ontology.kif 8337-8337 | MilitaryService は MilitaryOrganization の subclass では %n |
(subclass Army MilitaryService) | Mid-level-ontology.kif 8347-8347 | Army は MilitaryService の subclass では %n |
(subclass AirForce MilitaryService) | Mid-level-ontology.kif 8350-8350 | AirForce は MilitaryService の subclass では %n |