Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  GovernmentPosition

Sigma KEE - GovernmentPosition
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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners