| 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. | MilitaryPersons.kif 509-509 | LARUnit est une sous-classe de MilitaryUnit |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 635-635 | AssaultAmphibianUnit est une sous-classe de MilitaryUnit |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 84-84 | PeacekeepingUnit est une sous-classe de MilitaryUnit |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 672-672 | InfantryUnit est une sous-classe de MilitaryUnit |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 714-714 | Brigade est une sous-classe de MilitaryUnit |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 732-732 | Battalion est une sous-classe de MilitaryUnit |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 736-736 | CompanyMilitary est une sous-classe de MilitaryUnit |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 745-745 | Platoon est une sous-classe de MilitaryUnit |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8374-8374 | MilitarySquad est une sous-classe de MilitaryUnit |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8377-8377 | MilitaryCorps est une sous-classe de MilitaryUnit |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8381-8381 | CavalryUnit est une sous-classe de MilitaryUnit |
|
|