No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8337-8337 | Military service is a subclass of military organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8347-8347 | Army is a subclass of military service |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8350-8350 | Air force is a subclass of military service |