UnitedStatesDepartmentOfInterior |
appearance as argument number 1 |
(documentation UnitedStatesDepartmentOfInterior EnglishLanguage "Manages and preserves public lands and natural resources in the UnitedStates.") | Government.kif 4820-4821 | |
(instance UnitedStatesDepartmentOfInterior GovernmentOrganization) | Government.kif 4818-4818 | UnitedStatesDepartmentOfInterior è un' istanza di GovernmentOrganization |
(subOrganization UnitedStatesDepartmentOfInterior (GovernmentFn UnitedStates)) |
Government.kif 4819-4819 | subOrganization UnitedStatesDepartmentOfInterior and GovernmentFn UnitedStates |
appearance as argument number 2 |
(termFormat ChineseLanguage UnitedStatesDepartmentOfInterior "美国内政部") | domainEnglishFormat.kif 60370-60370 | |
(termFormat ChineseTraditionalLanguage UnitedStatesDepartmentOfInterior "美國內政部") | domainEnglishFormat.kif 60369-60369 | |
(termFormat EnglishLanguage UnitedStatesDepartmentOfInterior "united states department of interior") | domainEnglishFormat.kif 60368-60368 |
antecedent |
(=> (holdsDuring ?T1 (occupiesPosition ?PERSON SecretaryOfTheInterior UnitedStatesDepartmentOfInterior)) (holdsDuring ?T1 (leader UnitedStatesDepartmentOfInterior ?PERSON))) |
Government.kif 4823-4827 |
|
consequent |
(=> (holdsDuring ?T1 (occupiesPosition ?PERSON SecretaryOfTheInterior UnitedStatesDepartmentOfInterior)) (holdsDuring ?T1 (leader UnitedStatesDepartmentOfInterior ?PERSON))) |
Government.kif 4823-4827 |
|