![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
OrganizationOfPetroleumExportingCountries
|
|
|
| appearance as argument number 1 |
|
|
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (attribute ?AREA HighIncomeCountry) (not (member ?AREA OrganizationOfPetroleumExportingCountries))) (economyType ?AREA DevelopedCountry)) |
Economy.kif 506-510 | If high income country is an attribute of X and X is not a member of organization of petroleum exporting countries, then developed country is an economy type of X |