GovernmentFn |
appearance as argument number 1 |
![]() |
(documentation GovernmentFn ChineseLanguage "(GovernmentFn ?AREA)表示 GeopoliticalArea ?AREA 的 Government。例如:(GovernmentFn UnitedStates)表示美国的联邦政府, (GovernmentFn PuertoRico)表示波多黎各联邦的政府。") | chinese_format.kif 3739-3741 | |
(documentation GovernmentFn EnglishLanguage "(GovernmentFn ?AREA) denotes the Government of the GeopoliticalArea ?AREA. For example, (GovernmentFn UnitedStates) denotes the Federal-level government of the United States, (GovernmentFn PuertoRico) denotes the government of the Commonwealth of Puerto Rico.") | Merge.kif 16874-16878 | |
(domain GovernmentFn 1 GeopoliticalArea) | Merge.kif 16872-16872 | GovernmentFn の数値 1 引数は 地政学的地域 の instance では |
(instance GovernmentFn PartialValuedRelation) | Merge.kif 16871-16871 | GovernmentFn は 部分的価値関係 の instance では |
(instance GovernmentFn UnaryFunction) | Merge.kif 16870-16870 | GovernmentFn は 1変数関数 の instance では |
(range GovernmentFn Government) | Merge.kif 16873-16873 | GovernmentFn の range は 政府 のインスタンス では |
appearance as argument number 2 |
![]() |
(format ChineseLanguage GovernmentFn "%1 的 Government") | chinese_format.kif 802-802 | |
(format EnglishLanguage GovernmentFn "the government of %1") | english_format.kif 811-811 | |
(format FrenchLanguage GovernmentFn "le gouvernment de %1") | french_format.kif 482-482 | |
(format JapaneseLanguage GovernmentFn "%1 の government") | english_format.kif 812-812 | |
(format PortugueseLanguage GovernmentFn "o governo de %1") | portuguese_format.kif 434-434 | |
(format ro GovernmentFn "government%t{guvernul} lui %1") | relations-ro.kif 504-504 | |
(termFormat ChineseLanguage GovernmentFn "政府") | domainEnglishFormat.kif 26309-26309 | |
(termFormat ChineseLanguage GovernmentFn "政府函数") | chinese_format.kif 803-803 | |
(termFormat ChineseTraditionalLanguage GovernmentFn "政府") | domainEnglishFormat.kif 26308-26308 | |
(termFormat EnglishLanguage GovernmentFn "government") | domainEnglishFormat.kif 26307-26307 |
antecedent |
![]() |
consequent |
![]() |
statement |
![]() |
(subOrganization DepartmentOfHomelandSecurity (GovernmentFn UnitedStates)) |
Government.kif 4789-4789 | DepartmentOfHomelandSecurity は組織 UnitedStates の government の一部では |
(subOrganization USFoodAndDrugAdministration (GovernmentFn UnitedStates)) |
VirusProteinAndCellPart.kif 1291-1291 | USFoodAndDrugAdministration は組織 UnitedStates の government の一部では |
(subOrganization USStateDepartment (GovernmentFn UnitedStates)) |
Government.kif 2352-2352 | USStateDepartment は組織 UnitedStates の government の一部では |
(subOrganization UnitedStatesCongress (GovernmentFn UnitedStates)) |
Government.kif 1911-1911 | UnitedStatesCongress は組織 UnitedStates の government の一部では |
(subOrganization UnitedStatesDepartmentOfInterior (GovernmentFn UnitedStates)) |
Government.kif 4816-4816 | UnitedStatesDepartmentOfInterior は組織 UnitedStates の government の一部では |
(subOrganization UnitedStatesDepartmentOfState (GovernmentFn UnitedStates)) |
Government.kif 4811-4811 | UnitedStatesDepartmentOfState は組織 UnitedStates の government の一部では |
![]() |
![]() |