|
|
   MilitaryOrganization
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3731-3732 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16739-16741 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16738-16738 | MilitaryOrganization est une sous-classe de GovernmentOrganization |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16737-16737 | MilitaryOrganization est une sous-classe de MilitaryForce |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 904-904 | JointChiefsOfStaff est une instance de MilitaryOrganization |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 884-884 | JointStaff est une instance de MilitaryOrganization |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 951-951 | USMilitary est une instance de MilitaryOrganization |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 789-789 | AirForce-BranchOfService 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. | Medicine.kif 6057-6057 | FleetMarineForce 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 799-799 | MarinesBranchOfService est une sous-classe de MilitaryOrganization |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8396-8396 | MilitaryReserveForce est une sous-classe de MilitaryOrganization |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8364-8364 | MilitaryService est une sous-classe de MilitaryOrganization |
| 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. | Military.kif 804-804 | NavalAirForceBranchOfService est une sous-classe de MilitaryOrganization |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 807-807 | NavyBranchOfService est une sous-classe de MilitaryOrganization |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22567-22567 | PeaceKeepingMission est une sous-classe de MilitaryOrganization |
| 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. | domainEnglishFormat.kif 37679-37679 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 37678-37678 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 37677-37677 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Military.kif 816-816 | Le nombre 1 argument de militaryOfArea est une instance de MilitaryOrganization |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 461-466 |
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 473-478 |
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2309-2328 |
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 133-140 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22522-22527 |
|
| No TPTP formula. May not be expressible in strict first order. | Military.kif 779-784 |
| consequent |
|
|
|
|
|