| GovernmentPosition(government position) | | cabinet_minister, commissioner, minister, politics, public_service |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20511-20513 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20510-20510 | Government position is a subclass of profession |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20592-20592 | Admiral is an instance of government position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22595-22595 | Attorney general is an instance of government position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20606-20606 | Brigadier general is an instance of government position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20615-20615 | Captain officer is an instance of government position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20620-20620 | Colonel is an instance of government position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20541-20541 | Confederate soldier is an instance of government position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22567-22567 | Coroner is an instance of government position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20629-20629 | Corporal is an instance of government position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9514-9514 | Government secretary is an instance of government position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22623-22623 | Judge is an instance of government position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20611-20611 | Lieutenant is an instance of government position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20596-20596 | Major is an instance of government position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20601-20601 | Major general is an instance of government position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20570-20570 | Military officer is an instance of government position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20563-20563 | Military private is an instance of government position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22543-22543 | Police officer is an instance of government position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22602-22602 | Public defender is an instance of government position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22607-22607 | Public prosecutor is an instance of government position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9516-9516 | Secretary of the interior is an instance of government position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9522-9522 | Secretary of the treasury is an instance of government position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20625-20625 | Sergeant is an instance of government position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20536-20536 | Soldier is an instance of government position |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26315-26315 | Soldier is an instance of government position |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26314-26314 | Soldier is an instance of government position |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26313-26313 | Soldier is an instance of government position |
| 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 20515-20519 |
|
|
|
|