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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - SecretaryOfTheInterior
SecretaryOfTheInterior

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


(documentation SecretaryOfTheInterior EnglishLanguage "This Position Attribute describes the head of the UnitedStatesDepartmentOfInterior.") Mid-level-ontology.kif 9518-9520
(instance SecretaryOfTheInterior GovernmentPosition) Mid-level-ontology.kif 9516-9516
(subAttribute SecretaryOfTheInterior GovernmentSecretary) Mid-level-ontology.kif 9517-9517

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


(termFormat ChineseLanguage SecretaryOfTheInterior "内政部长") domainEnglishFormat.kif 51829-51829
(termFormat ChineseTraditionalLanguage SecretaryOfTheInterior "內政部長") domainEnglishFormat.kif 51828-51828
(termFormat EnglishLanguage SecretaryOfTheInterior "secretary of the interior") domainEnglishFormat.kif 51827-51827

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


(=>
    (holdsDuring ?T1
        (occupiesPosition ?PERSON SecretaryOfTheInterior UnitedStatesDepartmentOfInterior))
    (holdsDuring ?T1
        (leader UnitedStatesDepartmentOfInterior ?PERSON)))
Government.kif 4820-4824


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