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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - CabinetFn
CabinetFn

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


(documentation CabinetFn EnglishLanguage "(CabinetFn ?AREA) denotes the GovernmentCabinet associated with the government of the GeopoliticalArea ?AREA.") Government.kif 1492-1494
(domain CabinetFn 1 GeopoliticalArea) Government.kif 1489-1489 CabinetFn の数値 1 引数は 地政学的地域instance では
(instance CabinetFn UnaryFunction) Government.kif 1488-1488 CabinetFn1変数関数instance では
(range CabinetFn GovernmentOrganization) Government.kif 1490-1490 CabinetFnrangeGovernmentOrganization のインスタンス では

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


(format ChineseLanguage CabinetFn "%1 的 cabinet ") domainEnglishFormat.kif 332-332
(format ChineseTraditionalLanguage CabinetFn "%1 的 cabinet ") domainEnglishFormat.kif 331-331
(format EnglishLanguage CabinetFn "the cabinet of %1") domainEnglishFormat.kif 330-330
(termFormat ChineseLanguage CabinetFn "内阁") domainEnglishFormat.kif 12586-12586
(termFormat ChineseTraditionalLanguage CabinetFn "內閣") domainEnglishFormat.kif 12585-12585
(termFormat EnglishLanguage CabinetFn "cabinet") domainEnglishFormat.kif 12584-12584

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


(=>
    (instance ?AREA GeopoliticalArea)
    (subOrganization
        (CabinetFn ?AREA)
        (ExecutiveBranchFn ?AREA)))
Government.kif 1496-1498


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