Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


(subclass GovernmentPosition Profession) Mid-level-ontology.kif 20876-20876 Government position is a subclass of profession
(documentation GovernmentPosition EnglishLanguage "Any Profession where the position occupied is within a GovernmentOrganization.") Mid-level-ontology.kif 20877-20879 Government position is a subclass of profession

appearance as argument number 2
-------------------------


(instance GovernmentSecretary GovernmentPosition) Mid-level-ontology.kif 9668-9668 Government secretary is an instance of government position
(instance SecretaryOfTheInterior GovernmentPosition) Mid-level-ontology.kif 9670-9670 Secretary of the interior is an instance of government position
(instance SecretaryOfTheTreasury GovernmentPosition) Mid-level-ontology.kif 9676-9676 Secretary of the treasury is an instance of government position
(instance Soldier GovernmentPosition) Mid-level-ontology.kif 20902-20902 Soldier is an instance of government position
(instance ConfederateSoldier GovernmentPosition) Mid-level-ontology.kif 20907-20907 Confederate soldier is an instance of government position
(instance MilitaryPrivate GovernmentPosition) Mid-level-ontology.kif 20929-20929 Military private is an instance of government position
(instance MilitaryOfficer GovernmentPosition) Mid-level-ontology.kif 20936-20936 Military officer is an instance of government position
(instance Admiral GovernmentPosition) Mid-level-ontology.kif 20958-20958 Admiral is an instance of government position
(instance Major GovernmentPosition) Mid-level-ontology.kif 20962-20962 Major is an instance of government position
(instance MajorGeneral GovernmentPosition) Mid-level-ontology.kif 20967-20967 Major general is an instance of government position
(instance BrigadierGeneral GovernmentPosition) Mid-level-ontology.kif 20972-20972 Brigadier general is an instance of government position
(instance Lieutenant GovernmentPosition) Mid-level-ontology.kif 20977-20977 Lieutenant is an instance of government position
(instance CaptainOfficer GovernmentPosition) Mid-level-ontology.kif 20981-20981 Captain officer is an instance of government position
(instance Colonel GovernmentPosition) Mid-level-ontology.kif 20986-20986 Colonel is an instance of government position
(instance Sergeant GovernmentPosition) Mid-level-ontology.kif 20991-20991 Sergeant is an instance of government position
(instance Corporal GovernmentPosition) Mid-level-ontology.kif 20995-20995 Corporal is an instance of government position
(instance PoliceOfficer GovernmentPosition) Mid-level-ontology.kif 23168-23168 Police officer is an instance of government position
(instance Coroner GovernmentPosition) Mid-level-ontology.kif 23192-23192 Coroner is an instance of government position
(instance AttorneyGeneral GovernmentPosition) Mid-level-ontology.kif 23220-23220 Attorney general is an instance of government position
(instance PublicDefender GovernmentPosition) Mid-level-ontology.kif 23227-23227 Public defender is an instance of government position
(instance PublicProsecutor GovernmentPosition) Mid-level-ontology.kif 23232-23232 Public prosecutor is an instance of government position
(instance JudgeAtLaw GovernmentPosition) Mid-level-ontology.kif 23248-23248 Judge is an instance of government position
(termFormat EnglishLanguage GovernmentPosition "government position") domainEnglishFormat.kif 26306-26306 Judge is an instance of government position
(termFormat ChineseTraditionalLanguage GovernmentPosition "政府立場") domainEnglishFormat.kif 26307-26307 Judge is an instance of government position
(termFormat ChineseLanguage GovernmentPosition "政府立场") domainEnglishFormat.kif 26308-26308 Judge is an instance of government position

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent
-------------------------


(=>
    (and
        (instance ?O GovernmentPosition)
        (occupiesPosition ?P ?O ?ORG))
    (instance ?ORG GovernmentOrganization))		 Mid-level-ontology.kif 20881-20885 If X is an instance of government position and Y holds the position of X in Z, then Z is an instance of government organization


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners