|
|
   GovernmentPosition
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18939-18941 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18938-18938 | GovernmentPosition est une sous-classe de Profession |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19020-19020 | Admiral est une instance de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20977-20977 | AttorneyGeneral est une instance de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19034-19034 | BrigadierGeneral est une instance de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19043-19043 | CaptainOfficer est une instance de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19048-19048 | Colonel est une instance de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18969-18969 | ConfederateSoldier est une instance de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20949-20949 | Coroner est une instance de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19057-19057 | Corporal est une instance de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8307-8307 | GovernmentSecretary est une instance de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21005-21005 | JudgeAtLaw est une instance de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19039-19039 | Lieutenant est une instance de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19024-19024 | Major est une instance de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19029-19029 | MajorGeneral est une instance de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18998-18998 | MilitaryOfficer est une instance de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18991-18991 | MilitaryPrivate est une instance de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20925-20925 | PoliceOfficer est une instance de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20984-20984 | PublicDefender est une instance de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20989-20989 | PublicProsecutor est une instance de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8309-8309 | SecretaryOfTheInterior est une instance de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8315-8315 | SecretaryOfTheTreasury est une instance de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19053-19053 | Sergeant est une instance de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18964-18964 | Soldier est une instance de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26304-26304 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26303-26303 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26302-26302 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18943-18947 |
|
|
|
|