| GovernmentPosition | |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18967-18969 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18966-18966 | 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 19048-19048 | Admiral est une instance de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21005-21005 | AttorneyGeneral est une instance de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19062-19062 | BrigadierGeneral est une instance de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19071-19071 | CaptainOfficer est une instance de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19076-19076 | Colonel est une instance de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18997-18997 | ConfederateSoldier est une instance de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20977-20977 | Coroner est une instance de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19085-19085 | Corporal est une instance de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8335-8335 | GovernmentSecretary est une instance de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21033-21033 | JudgeAtLaw est une instance de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19067-19067 | Lieutenant est une instance de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19052-19052 | Major est une instance de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19057-19057 | MajorGeneral est une instance de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19026-19026 | MilitaryOfficer est une instance de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19019-19019 | MilitaryPrivate est une instance de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20953-20953 | PoliceOfficer est une instance de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21012-21012 | PublicDefender est une instance de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21017-21017 | PublicProsecutor est une instance de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8337-8337 | SecretaryOfTheInterior est une instance de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8343-8343 | SecretaryOfTheTreasury est une instance de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19081-19081 | Sergeant est une instance de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18992-18992 | 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 18971-18975 |
|
|
|
|