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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ShortageFn
ShortageFn

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


(documentation ShortageFn EnglishLanguage "(ShortageFn ?TYPE) means that there is a shortage of objects of ?TYPE, which are used as resources.") Geography.kif 2890-2891
(domainSubclass ShortageFn 1 Object) Geography.kif 2887-2887 ShortageFn の数値 1 引数は オブジェクトsubclass では %n
(instance ShortageFn UnaryFunction) Geography.kif 2886-2886 ShortageFn1変数関数instance では %n
(range ShortageFn Entity) Geography.kif 2888-2888 ShortageFnrangeエンティティー のインスタンス では %n

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


(format ChineseLanguage ShortageFn "%1 的 shortage") domainEnglishFormat.kif 2279-2279
(format ChineseTraditionalLanguage ShortageFn "%1 的 shortage ") domainEnglishFormat.kif 2278-2278
(format EnglishLanguage ShortageFn "the shortage of %1") domainEnglishFormat.kif 2277-2277
(termFormat ChineseLanguage ShortageFn "短缺") domainEnglishFormat.kif 52797-52797
(termFormat ChineseTraditionalLanguage ShortageFn "短缺") domainEnglishFormat.kif 52796-52796
(termFormat EnglishLanguage ShortageFn "shortage") domainEnglishFormat.kif 52795-52795


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