| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16688-16688 | MilitaryOrganization est une sous-classe de MilitaryForce |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16689-16689 | MilitaryOrganization est une sous-classe de GovernmentOrganization |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 299-299 | SpecialOperationsForces est une sous-classe de MilitaryOrganization |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 879-879 | ExternalAgency est une sous-classe de MilitaryOrganization |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1723-1723 | JointForces est une sous-classe de MilitaryOrganization |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 798-798 | AirForce-BranchOfService est une sous-classe de MilitaryOrganization |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 808-808 | MarinesBranchOfService est une sous-classe de MilitaryOrganization |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 813-813 | NavalAirForceBranchOfService est une sous-classe de MilitaryOrganization |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 816-816 | NavyBranchOfService est une sous-classe de MilitaryOrganization |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8336-8336 | MilitaryService est une sous-classe de MilitaryOrganization |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8353-8353 | MilitaryUnit est une sous-classe de MilitaryOrganization |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8368-8368 | MilitaryReserveForce est une sous-classe de MilitaryOrganization |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22514-22514 | PeaceKeepingMission est une sous-classe de MilitaryOrganization |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6057-6057 | FleetMarineForce est une sous-classe de MilitaryOrganization |
|
|