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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 15479-15481
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15478-15478 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 15560-15560 Admiral is an instance of government position
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17383-17383 Attorney general is an instance of government position
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15574-15574 Brigadier general is an instance of government position
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15583-15583 Captain officer is an instance of government position
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15588-15588 Colonel is an instance of government position
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15509-15509 Confederate soldier is an instance of government position
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17355-17355 Coroner is an instance of government position
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15597-15597 Corporal is an instance of government position
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7197-7197 Government secretary is an instance of government position
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17411-17411 Judge is an instance of government position
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15579-15579 Lieutenant is an instance of government position
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15564-15564 Major is an instance of government position
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15569-15569 Major general is an instance of government position
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15538-15538 Military officer is an instance of government position
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15531-15531 Military private is an instance of government position
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17331-17331 Police officer is an instance of government position
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17390-17390 Public defender is an instance of government position
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17395-17395 Public prosecutor is an instance of government position
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7199-7199 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 7205-7205 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 15593-15593 Sergeant is an instance of government position
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15504-15504 Soldier is an instance of government position
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26295-26295
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26294-26294
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26293-26293

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 15483-15487


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



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