No TPTP formula. May not be expressible in strict first order. | Merge.kif 16656-16656 | MilitaryForce est une sous-classe de organisation politique |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 792-792 | AmphibiousReconnaissanceUnit est une sous-classe de MilitaryForce |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2340-2340 | CivilAffairs est une sous-classe de MilitaryForce |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16666-16666 | MilitaryOrganization est une sous-classe de MilitaryForce |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16672-16672 | ParamilitaryOrganization est une sous-classe de MilitaryForce |