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 externalImage Oceania and "http://www.adampease.org/Articulate/SUMOpictures/pictures/ geography/ continents/ oceania.png"
(instance Oceania Continent) Geography.kif 3413-3413 instance Oceania and Continent
(instance Oceania GeographicArea) Geography.kif 106-106 instance Oceania and GeographicArea
(orientation Oceania NorthAmerica Southwest) Geography.kif 284-284 orientation Oceania, NorthAmerica and Southwest
(overlapsSpatially Oceania EasternHemisphere) Geography.kif 3417-3417 overlapsSpatially Oceania and EasternHemisphere
(overlapsSpatially Oceania NorthernHemisphere) Geography.kif 3415-3415 overlapsSpatially Oceania and NorthernHemisphere
(overlapsSpatially Oceania SouthernHemisphere) Geography.kif 3416-3416 overlapsSpatially Oceania and SouthernHemisphere
(overlapsSpatially Oceania WesternHemisphere) Geography.kif 3418-3418 overlapsSpatially Oceania and WesternHemisphere

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


(geographicSubregion AmericanSamoa Oceania) CountriesAndRegions.kif 659-659 geographicSubregion AmericanSamoa and Oceania
(geographicSubregion Australia Oceania) CountriesAndRegions.kif 660-660 geographicSubregion Australia and Oceania
(geographicSubregion BakerIsland Oceania) CountriesAndRegions.kif 663-663 geographicSubregion BakerIsland and Oceania
(geographicSubregion CookIslands Oceania) CountriesAndRegions.kif 664-664 geographicSubregion CookIslands and Oceania
(geographicSubregion CoralSeaIslands Oceania) CountriesAndRegions.kif 665-665 geographicSubregion CoralSeaIslands and Oceania
(geographicSubregion Fiji Oceania) CountriesAndRegions.kif 666-666 geographicSubregion Fiji and Oceania
(geographicSubregion FrenchPolynesia Oceania) CountriesAndRegions.kif 668-668 geographicSubregion FrenchPolynesia and Oceania
(geographicSubregion Guam Oceania) CountriesAndRegions.kif 669-669 geographicSubregion Guam and Oceania
(geographicSubregion HowlandIsland Oceania) CountriesAndRegions.kif 670-670 geographicSubregion HowlandIsland and Oceania
(geographicSubregion JarvisIsland Oceania) CountriesAndRegions.kif 671-671 geographicSubregion JarvisIsland and Oceania
(geographicSubregion JohnstonAtoll Oceania) CountriesAndRegions.kif 672-672 geographicSubregion JohnstonAtoll and Oceania
(geographicSubregion KingmanReef Oceania) CountriesAndRegions.kif 673-673 geographicSubregion KingmanReef and Oceania
(geographicSubregion Kiribati Oceania) CountriesAndRegions.kif 674-674 geographicSubregion Kiribati and Oceania
(geographicSubregion MarshallIslands Oceania) CountriesAndRegions.kif 676-676 geographicSubregion MarshallIslands and Oceania
(geographicSubregion Micronesia Oceania) CountriesAndRegions.kif 678-678 geographicSubregion Micronesia and Oceania
(geographicSubregion MidwayIslands Oceania) CountriesAndRegions.kif 680-680 geographicSubregion MidwayIslands and Oceania
(geographicSubregion Nauru Oceania) CountriesAndRegions.kif 681-681 geographicSubregion Nauru and Oceania
(geographicSubregion NewCaledonia Oceania) CountriesAndRegions.kif 683-683 geographicSubregion NewCaledonia and Oceania
(geographicSubregion NewZealand Oceania) CountriesAndRegions.kif 684-684 geographicSubregion NewZealand and Oceania
(geographicSubregion Niue Oceania) CountriesAndRegions.kif 686-686 geographicSubregion Niue and Oceania
(geographicSubregion NorfolkIsland Oceania) CountriesAndRegions.kif 687-687 geographicSubregion NorfolkIsland and Oceania
(geographicSubregion NorthernMarianaIslands Oceania) CountriesAndRegions.kif 688-688 geographicSubregion NorthernMarianaIslands and Oceania
(geographicSubregion Palau Oceania) CountriesAndRegions.kif 689-689 geographicSubregion Palau and Oceania
(geographicSubregion PalmyraAtoll Oceania) CountriesAndRegions.kif 691-691 geographicSubregion PalmyraAtoll and Oceania
(geographicSubregion PitcairnIslands Oceania) CountriesAndRegions.kif 692-692 geographicSubregion PitcairnIslands and 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 3363-3372 instance Entity and Continent equal Africa and Entity equal NorthAmerica and Entity equal SouthAmerica and Entity equal Antarctica and Entity equal Europe and Entity equal Asia and Entity equal Oceania and 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners