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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CabinetFn

 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 1530-1532
(domain CabinetFn 1 GeopoliticalArea) Government.kif 1527-1527 CabinetFn の数値 1 引数は 地政学的地域 の instance では %n
(instance CabinetFn UnaryFunction) Government.kif 1526-1526 CabinetFn は 1変数関数 の instance では %n
(range CabinetFn GovernmentOrganization) Government.kif 1528-1528 CabinetFn の range は GovernmentOrganization のインスタンス では %n

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 12577-12577
(termFormat ChineseTraditionalLanguage CabinetFn "內閣") domainEnglishFormat.kif 12576-12576
(termFormat EnglishLanguage CabinetFn "cabinet") domainEnglishFormat.kif 12575-12575

Show without tree


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