No TPTP formula. May not be expressible in strict first order. | Merge.kif 16666-16666 | Military organization is a subclass of military force |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16667-16667 | Military organization is a subclass of government organization |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 299-299 | Special operations forces is a subclass of military organization |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 879-879 | External agency is a subclass of military organization |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1723-1723 | Joint forces is a subclass of military organization |
No TPTP formula. May not be expressible in strict first order. | Military.kif 798-798 | Air force- branch of service is a subclass of military organization |
No TPTP formula. May not be expressible in strict first order. | Military.kif 808-808 | Marines- branch of service is a subclass of military organization |
No TPTP formula. May not be expressible in strict first order. | Military.kif 813-813 | NavalAirForceBranchOfService is a subclass of military organization |
No TPTP formula. May not be expressible in strict first order. | Military.kif 816-816 | Navy is a subclass of military organization |
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 8354-8354 | Military unit is a subclass of military organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8369-8369 | Military reserve force is a subclass of military organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22515-22515 | Peace keeping mission is a subclass of military organization |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6057-6057 | Fleet marine force is a subclass of military organization |