Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Oceania
Oceania(oceania)
Oceania, Oceanica

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 Oceania is an instance of continent
(instance Oceania GeographicArea) Geography.kif 106-106 Oceania is an instance of geographic area
(orientation Oceania NorthAmerica Southwest) Geography.kif 284-284 Oceania is southwest to north america
(overlapsSpatially Oceania EasternHemisphere) Geography.kif 3558-3558 Oceania and eastern hemisphere overlapsSpatially
(overlapsSpatially Oceania NorthernHemisphere) Geography.kif 3556-3556 Oceania and northern hemisphere overlapsSpatially
(overlapsSpatially Oceania SouthernHemisphere) Geography.kif 3557-3557 Oceania and southern hemisphere overlapsSpatially
(overlapsSpatially Oceania WesternHemisphere) Geography.kif 3559-3559 Oceania and western hemisphere overlapsSpatially

appearance as argument number 2
-------------------------


(geographicSubregion AmericanSamoa Oceania) CountriesAndRegions.kif 659-659 American samoa is a geographic subregion of oceania
(geographicSubregion Australia Oceania) CountriesAndRegions.kif 660-660 Australia is a geographic subregion of oceania
(geographicSubregion BakerIsland Oceania) CountriesAndRegions.kif 663-663 Baker island is a geographic subregion of oceania
(geographicSubregion CookIslands Oceania) CountriesAndRegions.kif 664-664 Cook islands is a geographic subregion of oceania
(geographicSubregion CoralSeaIslands Oceania) CountriesAndRegions.kif 665-665 Coral sea islands is a geographic subregion of oceania
(geographicSubregion Fiji Oceania) CountriesAndRegions.kif 666-666 Fiji is a geographic subregion of oceania
(geographicSubregion FrenchPolynesia Oceania) CountriesAndRegions.kif 668-668 French polynesia is a geographic subregion of oceania
(geographicSubregion Guam Oceania) CountriesAndRegions.kif 669-669 Guam is a geographic subregion of oceania
(geographicSubregion HowlandIsland Oceania) CountriesAndRegions.kif 670-670 Howland island is a geographic subregion of oceania
(geographicSubregion JarvisIsland Oceania) CountriesAndRegions.kif 671-671 Jarvis island is a geographic subregion of oceania
(geographicSubregion JohnstonAtoll Oceania) CountriesAndRegions.kif 672-672 Johnston atoll is a geographic subregion of oceania
(geographicSubregion KingmanReef Oceania) CountriesAndRegions.kif 673-673 Kingman reef is a geographic subregion of oceania
(geographicSubregion Kiribati Oceania) CountriesAndRegions.kif 674-674 Kiribati is a geographic subregion of oceania
(geographicSubregion MarshallIslands Oceania) CountriesAndRegions.kif 676-676 Marshall islands is a geographic subregion of oceania
(geographicSubregion Micronesia Oceania) CountriesAndRegions.kif 678-678 Micronesia is a geographic subregion of oceania
(geographicSubregion MidwayIslands Oceania) CountriesAndRegions.kif 680-680 Midway islands is a geographic subregion of oceania
(geographicSubregion Nauru Oceania) CountriesAndRegions.kif 681-681 Nauru is a geographic subregion of oceania
(geographicSubregion NewCaledonia Oceania) CountriesAndRegions.kif 683-683 New caledonia is a geographic subregion of oceania
(geographicSubregion NewZealand Oceania) CountriesAndRegions.kif 684-684 New zealand is a geographic subregion of oceania
(geographicSubregion Niue Oceania) CountriesAndRegions.kif 686-686 Niue is a geographic subregion of oceania
(geographicSubregion NorfolkIsland Oceania) CountriesAndRegions.kif 687-687 Norfolk island is a geographic subregion of oceania
(geographicSubregion NorthernMarianaIslands Oceania) CountriesAndRegions.kif 688-688 Northern mariana islands is a geographic subregion of oceania
(geographicSubregion Palau Oceania) CountriesAndRegions.kif 689-689 Palau is a geographic subregion of oceania
(geographicSubregion PalmyraAtoll Oceania) CountriesAndRegions.kif 691-691 Palmyra atoll is a geographic subregion of oceania
(geographicSubregion PitcairnIslands Oceania) CountriesAndRegions.kif 692-692 Pitcairn islands is a geographic subregion of oceania

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 An entity is an instance of continent if and only if africa is equal to the entity or north america is equal to the entity or south america is equal to the entity or antarctica is equal to the entity or europe is equal to the entity or asia is equal to the entity or oceania is equal to the entity


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners