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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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
(instance ShortageFn UnaryFunction) Geography.kif 2886-2886
(range ShortageFn Entity) Geography.kif 2888-2888

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