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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Oceania

Sigma KEE - Oceania
Oceania

appearance as argument number 1
-------------------------


(externalImage Oceania "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ geography/ continents/ oceania.png") pictureList.kif 637-637
(instance Oceania Continent) Geography.kif 3400-3400
(instance Oceania GeographicArea) Geography.kif 106-106
(orientation Oceania NorthAmerica Southwest) Geography.kif 284-284
(overlapsSpatially Oceania EasternHemisphere) Geography.kif 3404-3404
(overlapsSpatially Oceania NorthernHemisphere) Geography.kif 3402-3402
(overlapsSpatially Oceania SouthernHemisphere) Geography.kif 3403-3403
(overlapsSpatially Oceania WesternHemisphere) Geography.kif 3405-3405

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 3350-3359


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners