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 18940-18942 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18939-18939 | 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 19021-19021 | Admiral is an instance of government position |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20978-20978 | Attorney general is an instance of government position |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19035-19035 | Brigadier general is an instance of government position |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19044-19044 | Captain officer is an instance of government position |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19049-19049 | Colonel is an instance of government position |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18970-18970 | Confederate soldier is an instance of government position |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20950-20950 | Coroner is an instance of government position |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19058-19058 | Corporal is an instance of government position |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8308-8308 | Government secretary is an instance of government position |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21006-21006 | Judge is an instance of government position |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19040-19040 | Lieutenant is an instance of government position |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19025-19025 | Major is an instance of government position |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19030-19030 | Major general is an instance of government position |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18999-18999 | Military officer is an instance of government position |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18992-18992 | Military private is an instance of government position |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20926-20926 | Police officer is an instance of government position |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20985-20985 | Public defender is an instance of government position |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20990-20990 | Public prosecutor is an instance of government position |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8310-8310 | 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 8316-8316 | 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 19054-19054 | Sergeant is an instance of government position |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18965-18965 | Soldier is an instance of government position |
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 18944-18948 |
|