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

KB Term:  Term intersection
English Word: 

Sigma KEE - UnitedStatesDepartmentOfInterior
UnitedStatesDepartmentOfInterior(united states department of interior)

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


(instance UnitedStatesDepartmentOfInterior GovernmentOrganization) Government.kif 4846-4846 United states department of interior is an instance of government organization
(subOrganization UnitedStatesDepartmentOfInterior
    (GovernmentFn UnitedStates))		 Government.kif 4847-4847 United states department of interior is a part of the organization the government of united states
(documentation UnitedStatesDepartmentOfInterior EnglishLanguage "Manages and preserves public lands and natural resources in the UnitedStates.") Government.kif 4848-4849 United states department of interior is a part of the organization the government of united states

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


(termFormat EnglishLanguage UnitedStatesDepartmentOfInterior "united states department of interior") domainEnglishFormat.kif 60353-60353
(termFormat ChineseTraditionalLanguage UnitedStatesDepartmentOfInterior "美國內政部") domainEnglishFormat.kif 60354-60354
(termFormat ChineseLanguage UnitedStatesDepartmentOfInterior "美国内政部") domainEnglishFormat.kif 60355-60355

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

consequent
-------------------------


(=>
    (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