No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8381-8381 | 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 8402-8402 | MilitarySquad est une sous-classe de MilitaryUnit |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8405-8405 | MilitaryCorps est une sous-classe de MilitaryUnit |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8409-8409 | CavalryUnit est une sous-classe de MilitaryUnit |