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 The number 1 argument of shortage is a subclass of object
(instance ShortageFn UnaryFunction) Geography.kif 2886-2886 Shortage is an instance of unary function
(range ShortageFn Entity) Geography.kif 2888-2888 The range of shortage is an instance of entity

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