![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| 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 |
|
|