|
|
   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 | 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 19020-19020 | Admiral is an instance of government position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20977-20977 | Attorney general is an instance of government position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19034-19034 | Brigadier general is an instance of government position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19043-19043 | Captain officer is an instance of government position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19048-19048 | Colonel is an instance of government position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18969-18969 | Confederate soldier is an instance of government position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20949-20949 | Coroner is an instance of government position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19057-19057 | Corporal is an instance of government position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8307-8307 | Government secretary is an instance of government position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21005-21005 | Judge is an instance of government position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19039-19039 | Lieutenant is an instance of government position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19024-19024 | Major is an instance of government position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19029-19029 | Major general is an instance of government position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18998-18998 | Military officer is an instance of government position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18991-18991 | Military private is an instance of government position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20925-20925 | Police officer is an instance of government position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20984-20984 | Public defender is an instance of government position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20989-20989 | Public prosecutor is an instance of government position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8309-8309 | 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 8315-8315 | 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 19053-19053 | Sergeant is an instance of government position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18964-18964 | 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 18943-18947 |
|
|
|
|