![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
LegalAppeal
|
|
|
| appearance as argument number 1 |
|
|
| (geographicSubregion Uruguay SouthernSouthAmerica) | CountriesAndRegions.kif 519-519 | Uruguay is a geographic subregion of southern south america |
| (instance Uruguay Nation) | CountriesAndRegions.kif 520-520 | Uruguay is an instance of nation |
| (documentation Uruguay EnglishLanguage "The Nation of Uruguay.") | CountriesAndRegions.kif 1377-1377 | Uruguay is an instance of nation |
| (economyType Uruguay LessDevelopedCountry) | Economy.kif 342-342 | Less developed country is an economy type of uruguay |
| (economyType Uruguay DevelopingCountry) | Economy.kif 726-726 | Developing country is an economy type of uruguay |
| (currencyType Uruguay UruguayanPeso) | Economy.kif 3895-3895 | Uruguayan peso is a currency type of uruguay |
| (externalImage Uruguay "http://articulatesoftware.com/SUMOpictures/geography/ Country_Maps/ U/ Uruguay.png") | pictureList.kif 815-815 | Uruguayan peso is a currency type of uruguay |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (codeMapping ISO_3166_1_alpha_2 "UY" Uruguay) | Media.kif 2782-2782 | "UY" in ISO_3166_1_alpha_2 denotes uruguay |
| consequent |
|
|
| (=> (and (instance ?W Pampero) (eventLocated ?W ?A) (instance ?A Pampa)) (or (geographicSubregion ?A Argentina) (geographicSubregion ?A Brazil) (geographicSubregion ?A Bolivia) (geographicSubregion ?A Paraguay) (geographicSubregion ?A Uruguay))) |
Weather.kif 2236-2246 | If X is an instance of pampero, X is located at Y, and Y is an instance of pampa, then At least one of the following holds: (1) Y is a geographic subregion of argentina (2) Y is a geographic subregion of brazil (3) Y is a geographic subregion of bolivia (4) Y is a geographic subregion of paraguay (5) Y is a geographic subregion of uruguay |