![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
LeastDevelopedCountry(least developed country)
more pictures... |
| appearance as argument number 1 |
|
|
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (attribute ?AREA LowIncomeCountry) (economyType ?AREA LeastDevelopedCountry)) |
Economy.kif 432-434 | If low income country is an attribute of X, then least developed country is an economy type of X |
| statement |
|
|
| (cardinality (ExtensionFn LeastDevelopedCountry) 42) |
Economy.kif 405-405 | 42 is a cardinality of the class corresponding to least developed country |