| Oceania
| |
| appearance as argument number 1 |
|
|
| (externalImage Oceania "http://articulatesoftware.com/SUMOpictures/geography/ continents/ oceania.png") | pictureList.kif 637-637 | |
| (instance Oceania Continent) | Geography.kif 3554-3554 | |
| (instance Oceania GeographicArea) | Geography.kif 106-106 | |
| (orientation Oceania NorthAmerica Southwest) | Geography.kif 284-284 | |
| (overlapsSpatially Oceania EasternHemisphere) | Geography.kif 3558-3558 | |
| (overlapsSpatially Oceania NorthernHemisphere) | Geography.kif 3556-3556 | |
| (overlapsSpatially Oceania SouthernHemisphere) | Geography.kif 3557-3557 | |
| (overlapsSpatially Oceania WesternHemisphere) | Geography.kif 3559-3559 |
| appearance as argument number 2 |
|
|
| (geographicSubregion AmericanSamoa Oceania) | CountriesAndRegions.kif 659-659 | |
| (geographicSubregion Australia Oceania) | CountriesAndRegions.kif 660-660 | |
| (geographicSubregion BakerIsland Oceania) | CountriesAndRegions.kif 663-663 | |
| (geographicSubregion CookIslands Oceania) | CountriesAndRegions.kif 664-664 | |
| (geographicSubregion CoralSeaIslands Oceania) | CountriesAndRegions.kif 665-665 | |
| (geographicSubregion Fiji Oceania) | CountriesAndRegions.kif 666-666 | |
| (geographicSubregion FrenchPolynesia Oceania) | CountriesAndRegions.kif 668-668 | |
| (geographicSubregion Guam Oceania) | CountriesAndRegions.kif 669-669 | |
| (geographicSubregion HowlandIsland Oceania) | CountriesAndRegions.kif 670-670 | |
| (geographicSubregion JarvisIsland Oceania) | CountriesAndRegions.kif 671-671 | |
| (geographicSubregion JohnstonAtoll Oceania) | CountriesAndRegions.kif 672-672 | |
| (geographicSubregion KingmanReef Oceania) | CountriesAndRegions.kif 673-673 | |
| (geographicSubregion Kiribati Oceania) | CountriesAndRegions.kif 674-674 | |
| (geographicSubregion MarshallIslands Oceania) | CountriesAndRegions.kif 676-676 | |
| (geographicSubregion Micronesia Oceania) | CountriesAndRegions.kif 678-678 | |
| (geographicSubregion MidwayIslands Oceania) | CountriesAndRegions.kif 680-680 | |
| (geographicSubregion Nauru Oceania) | CountriesAndRegions.kif 681-681 | |
| (geographicSubregion NewCaledonia Oceania) | CountriesAndRegions.kif 683-683 | |
| (geographicSubregion NewZealand Oceania) | CountriesAndRegions.kif 684-684 | |
| (geographicSubregion Niue Oceania) | CountriesAndRegions.kif 686-686 | |
| (geographicSubregion NorfolkIsland Oceania) | CountriesAndRegions.kif 687-687 | |
| (geographicSubregion NorthernMarianaIslands Oceania) | CountriesAndRegions.kif 688-688 | |
| (geographicSubregion Palau Oceania) | CountriesAndRegions.kif 689-689 | |
| (geographicSubregion PalmyraAtoll Oceania) | CountriesAndRegions.kif 691-691 | |
| (geographicSubregion PitcairnIslands Oceania) | CountriesAndRegions.kif 692-692 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| consequent |
|
|
| (<=> (instance ?CONTINENT Continent) (or (equal Africa ?CONTINENT) (equal NorthAmerica ?CONTINENT) (equal SouthAmerica ?CONTINENT) (equal Antarctica ?CONTINENT) (equal Europe ?CONTINENT) (equal Asia ?CONTINENT) (equal Oceania ?CONTINENT))) |
Geography.kif 3504-3513 |
|
|
|