| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8354-8354 | MilitaryUnit e' uma sub-classe de MilitaryOrganization |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 509-509 | LARUnit e' uma sub-classe de MilitaryUnit |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 635-635 | AssaultAmphibianUnit e' uma sub-classe de MilitaryUnit |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 84-84 | PeacekeepingUnit e' uma sub-classe de MilitaryUnit |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 672-672 | InfantryUnit e' uma sub-classe de MilitaryUnit |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 714-714 | Brigade e' uma sub-classe de MilitaryUnit |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 732-732 | Battalion e' uma sub-classe de MilitaryUnit |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 736-736 | CompanyMilitary e' uma sub-classe de MilitaryUnit |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 745-745 | Platoon e' uma sub-classe de MilitaryUnit |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8375-8375 | MilitarySquad e' uma sub-classe de MilitaryUnit |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8378-8378 | MilitaryCorps e' uma sub-classe de MilitaryUnit |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8382-8382 | CavalryUnit e' uma sub-classe de MilitaryUnit |
|
|