TreeView Knowledge Base Browser - SecretaryOfTheInterior

Browsing Interface : Welcome guest : log in

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

Formal Language:

KB Term:			Term intersection

English Word:

SecretaryOfTheInterior

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