|
|
   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 | 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 19048-19048 | Admiral is an instance of government position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21005-21005 | Attorney general is an instance of government position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19062-19062 | Brigadier general is an instance of government position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19071-19071 | Captain officer is an instance of government position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19076-19076 | Colonel is an instance of government position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18997-18997 | Confederate soldier is an instance of government position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20977-20977 | Coroner is an instance of government position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19085-19085 | Corporal is an instance of government position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8335-8335 | Government secretary is an instance of government position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21033-21033 | Judge is an instance of government position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19067-19067 | Lieutenant is an instance of government position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19052-19052 | Major is an instance of government position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19057-19057 | Major general is an instance of government position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19026-19026 | Military officer is an instance of government position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19019-19019 | Military private is an instance of government position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20953-20953 | Police officer is an instance of government position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21012-21012 | Public defender is an instance of government position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21017-21017 | Public prosecutor is an instance of government position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8337-8337 | 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 8343-8343 | 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 19081-19081 | Sergeant is an instance of government position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18992-18992 | 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 18971-18975 |
|
|
|
|