SecretaryOfTheInterior - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | LogLearn | Editor | ] KB: Language:

Formal Language:

Sigma KEE - SecretaryOfTheInterior

SecretaryOfTheInterior(secretary of the interior)

Interior_Secretary, Secretary_of_the_Interior

appearance as argument number 1

(instance SecretaryOfTheInterior GovernmentPosition)	Mid-level-ontology.kif 9670-9670	Secretary of the interior is an instance of government position
(subAttribute SecretaryOfTheInterior GovernmentSecretary)	Mid-level-ontology.kif 9671-9671	Secretary of the interior is a subattribute of government secretary
(documentation SecretaryOfTheInterior EnglishLanguage "This Position Attribute describes the head of the UnitedStatesDepartmentOfInterior.")	Mid-level-ontology.kif 9672-9674	Secretary of the interior is a subattribute of government secretary

appearance as argument number 2

(termFormat EnglishLanguage SecretaryOfTheInterior "secretary of the interior")	domainEnglishFormat.kif 51820-51820
(termFormat ChineseTraditionalLanguage SecretaryOfTheInterior "內政部長")	domainEnglishFormat.kif 51821-51821
(termFormat ChineseLanguage SecretaryOfTheInterior "内政部长")	domainEnglishFormat.kif 51822-51822

antecedent

(=>
    (holdsDuring ?T1
        (occupiesPosition ?PERSON SecretaryOfTheInterior UnitedStatesDepartmentOfInterior))
    (holdsDuring ?T1
        (leader UnitedStatesDepartmentOfInterior ?PERSON)))

Government.kif 4851-4855

If X holds the position of secretary of the interior in united states department of interior holds during Y, then X is a leader of united states department of interior holds during Y

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