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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners