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 2758-2759
(domainSubclass ShortageFn 1 Object) Geography.kif 2755-2755
(instance ShortageFn UnaryFunction) Geography.kif 2754-2754
(range ShortageFn Entity) Geography.kif 2756-2756

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 52725-52725
(termFormat ChineseTraditionalLanguage ShortageFn "短缺") domainEnglishFormat.kif 52724-52724
(termFormat EnglishLanguage ShortageFn "shortage") domainEnglishFormat.kif 52723-52723

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