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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CategoryIMember

 Sigma KEE - GovernmentPosition
GovernmentPosition

appearance as argument number 1
-------------------------


(documentation GovernmentPosition EnglishLanguage "Any Profession where the position occupied is within a GovernmentOrganization.") Mid-level-ontology.kif 18967-18969
(subclass GovernmentPosition Profession) Mid-level-ontology.kif 18966-18966 GovernmentPosition e' uma sub-classe de Profession

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


(instance Admiral GovernmentPosition) Mid-level-ontology.kif 19048-19048 Admiral e' uma instancia de GovernmentPosition
(instance AttorneyGeneral GovernmentPosition) Mid-level-ontology.kif 21005-21005 AttorneyGeneral e' uma instancia de GovernmentPosition
(instance BrigadierGeneral GovernmentPosition) Mid-level-ontology.kif 19062-19062 BrigadierGeneral e' uma instancia de GovernmentPosition
(instance CaptainOfficer GovernmentPosition) Mid-level-ontology.kif 19071-19071 CaptainOfficer e' uma instancia de GovernmentPosition
(instance Colonel GovernmentPosition) Mid-level-ontology.kif 19076-19076 Colonel e' uma instancia de GovernmentPosition
(instance ConfederateSoldier GovernmentPosition) Mid-level-ontology.kif 18997-18997 ConfederateSoldier e' uma instancia de GovernmentPosition
(instance Coroner GovernmentPosition) Mid-level-ontology.kif 20977-20977 Coroner e' uma instancia de GovernmentPosition
(instance Corporal GovernmentPosition) Mid-level-ontology.kif 19085-19085 Corporal e' uma instancia de GovernmentPosition
(instance GovernmentSecretary GovernmentPosition) Mid-level-ontology.kif 8335-8335 GovernmentSecretary e' uma instancia de GovernmentPosition
(instance JudgeAtLaw GovernmentPosition) Mid-level-ontology.kif 21033-21033 JudgeAtLaw e' uma instancia de GovernmentPosition
(instance Lieutenant GovernmentPosition) Mid-level-ontology.kif 19067-19067 Lieutenant e' uma instancia de GovernmentPosition
(instance Major GovernmentPosition) Mid-level-ontology.kif 19052-19052 Major e' uma instancia de GovernmentPosition
(instance MajorGeneral GovernmentPosition) Mid-level-ontology.kif 19057-19057 MajorGeneral e' uma instancia de GovernmentPosition
(instance MilitaryOfficer GovernmentPosition) Mid-level-ontology.kif 19026-19026 MilitaryOfficer e' uma instancia de GovernmentPosition
(instance MilitaryPrivate GovernmentPosition) Mid-level-ontology.kif 19019-19019 MilitaryPrivate e' uma instancia de GovernmentPosition
(instance PoliceOfficer GovernmentPosition) Mid-level-ontology.kif 20953-20953 PoliceOfficer e' uma instancia de GovernmentPosition
(instance PublicDefender GovernmentPosition) Mid-level-ontology.kif 21012-21012 PublicDefender e' uma instancia de GovernmentPosition
(instance PublicProsecutor GovernmentPosition) Mid-level-ontology.kif 21017-21017 PublicProsecutor e' uma instancia de GovernmentPosition
(instance SecretaryOfTheInterior GovernmentPosition) Mid-level-ontology.kif 8337-8337 SecretaryOfTheInterior e' uma instancia de GovernmentPosition
(instance SecretaryOfTheTreasury GovernmentPosition) Mid-level-ontology.kif 8343-8343 SecretaryOfTheTreasury e' uma instancia de GovernmentPosition
(instance Sergeant GovernmentPosition) Mid-level-ontology.kif 19081-19081 Sergeant e' uma instancia de GovernmentPosition
(instance Soldier GovernmentPosition) Mid-level-ontology.kif 18992-18992 Soldier e' uma instancia de GovernmentPosition
(termFormat ChineseLanguage GovernmentPosition "政府立场") domainEnglishFormat.kif 26304-26304
(termFormat ChineseTraditionalLanguage GovernmentPosition "政府立場") domainEnglishFormat.kif 26303-26303
(termFormat EnglishLanguage GovernmentPosition "government position") domainEnglishFormat.kif 26302-26302

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 18971-18975


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