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



KB Term:  Term intersection
English Word: 

Sigma KEE - ShortageFn
ShortageFn

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


(instance ShortageFn UnaryFunction) Geography.kif 4318-4318 Shortage is an instance of unary function
(domainSubclass ShortageFn 1 Object) Geography.kif 4319-4319 The number 1 argument of shortage is a subclass of object
(range ShortageFn Entity) Geography.kif 4320-4320 The range of shortage is an instance of entity
(documentation ShortageFn EnglishLanguage "(ShortageFn ?TYPE) means that there is a shortage of objects of ?TYPE, which are used as resources.") Geography.kif 4322-4323 The range of shortage is an instance of entity

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


(format EnglishLanguage ShortageFn "the shortage of %1") domainEnglishFormat.kif 2281-2281
(format ChineseTraditionalLanguage ShortageFn "%1 的 shortage ") domainEnglishFormat.kif 2282-2282
(format ChineseLanguage ShortageFn "%1 的 shortage") domainEnglishFormat.kif 2283-2283
(termFormat EnglishLanguage ShortageFn "shortage") domainEnglishFormat.kif 52792-52792
(termFormat ChineseTraditionalLanguage ShortageFn "短缺") domainEnglishFormat.kif 52793-52793
(termFormat ChineseLanguage ShortageFn "短缺") domainEnglishFormat.kif 52794-52794


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners