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://articulatesoftware.com/SUMOpictures/geography/ continents/ oceania.png") pictureList.kif 637-637
(instance Oceania Continent) Geography.kif 3554-3554 Oceania大陸instance では %n
(instance Oceania GeographicArea) Geography.kif 106-106 Oceania地理的地域instance では %n
(orientation Oceania NorthAmerica Southwest) Geography.kif 284-284 OceaniaSouthwestNorthAmerica では %n
(overlapsSpatially Oceania EasternHemisphere) Geography.kif 3558-3558 overlapsSpatially Oceania and EasternHemisphere
(overlapsSpatially Oceania NorthernHemisphere) Geography.kif 3556-3556 overlapsSpatially Oceania and NorthernHemisphere
(overlapsSpatially Oceania SouthernHemisphere) Geography.kif 3557-3557 overlapsSpatially Oceania and SouthernHemisphere
(overlapsSpatially Oceania WesternHemisphere) Geography.kif 3559-3559 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 3504-3513 エンティティー大陸instance では %n Africa エンティティーequal では %n NorthAmerica エンティティーequal では %n SouthAmerica エンティティーequal では %n Antarctica エンティティーequal では %n Europe エンティティーequal では %n Asia エンティティーequal では %n Oceania エンティティーequal では %n


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