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 3487-3487 大洋洲大陆instance
(instance Oceania GeographicArea) Geography.kif 106-106 大洋洲地理区域instance
(orientation Oceania NorthAmerica Southwest) Geography.kif 284-284 大洋洲北美西南
(overlapsSpatially Oceania EasternHemisphere) Geography.kif 3491-3491 大洋洲东半球 重叠
(overlapsSpatially Oceania NorthernHemisphere) Geography.kif 3489-3489 大洋洲北半球 重叠
(overlapsSpatially Oceania SouthernHemisphere) Geography.kif 3490-3490 大洋洲南半球 重叠
(overlapsSpatially Oceania WesternHemisphere) Geography.kif 3492-3492 大洋洲西半球 重叠

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


(geographicSubregion AmericanSamoa Oceania) CountriesAndRegions.kif 659-659 美国萨摩亚大洋洲geographic 次要地区
(geographicSubregion Australia Oceania) CountriesAndRegions.kif 660-660 澳大利亚大洋洲geographic 次要地区
(geographicSubregion BakerIsland Oceania) CountriesAndRegions.kif 663-663 贝克岛大洋洲geographic 次要地区
(geographicSubregion CookIslands Oceania) CountriesAndRegions.kif 664-664 库克群岛大洋洲geographic 次要地区
(geographicSubregion CoralSeaIslands Oceania) CountriesAndRegions.kif 665-665 珊瑚海岛屿大洋洲geographic 次要地区
(geographicSubregion Fiji Oceania) CountriesAndRegions.kif 666-666 大洋洲geographic 次要地区
(geographicSubregion FrenchPolynesia Oceania) CountriesAndRegions.kif 668-668 法属波利尼西亚大洋洲geographic 次要地区
(geographicSubregion Guam Oceania) CountriesAndRegions.kif 669-669 关岛大洋洲geographic 次要地区
(geographicSubregion HowlandIsland Oceania) CountriesAndRegions.kif 670-670 Howland岛大洋洲geographic 次要地区
(geographicSubregion JarvisIsland Oceania) CountriesAndRegions.kif 671-671 贾维斯岛大洋洲geographic 次要地区
(geographicSubregion JohnstonAtoll Oceania) CountriesAndRegions.kif 672-672 约翰斯顿环礁大洋洲geographic 次要地区
(geographicSubregion KingmanReef Oceania) CountriesAndRegions.kif 673-673 金曼礁大洋洲geographic 次要地区
(geographicSubregion Kiribati Oceania) CountriesAndRegions.kif 674-674 基里巴斯大洋洲geographic 次要地区
(geographicSubregion MarshallIslands Oceania) CountriesAndRegions.kif 676-676 马绍尔群岛大洋洲geographic 次要地区
(geographicSubregion Micronesia Oceania) CountriesAndRegions.kif 678-678 密克罗尼西亚大洋洲geographic 次要地区
(geographicSubregion MidwayIslands Oceania) CountriesAndRegions.kif 680-680 中途岛屿大洋洲geographic 次要地区
(geographicSubregion Nauru Oceania) CountriesAndRegions.kif 681-681 瑙鲁大洋洲geographic 次要地区
(geographicSubregion NewCaledonia Oceania) CountriesAndRegions.kif 683-683 新喀里多尼亚大洋洲geographic 次要地区
(geographicSubregion NewZealand Oceania) CountriesAndRegions.kif 684-684 新西兰大洋洲geographic 次要地区
(geographicSubregion Niue Oceania) CountriesAndRegions.kif 686-686 纽埃大洋洲geographic 次要地区
(geographicSubregion NorfolkIsland Oceania) CountriesAndRegions.kif 687-687 诺福克岛大洋洲geographic 次要地区
(geographicSubregion NorthernMarianaIslands Oceania) CountriesAndRegions.kif 688-688 北马里亚纳群岛大洋洲geographic 次要地区
(geographicSubregion Palau Oceania) CountriesAndRegions.kif 689-689 帕劳大洋洲geographic 次要地区
(geographicSubregion PalmyraAtoll Oceania) CountriesAndRegions.kif 691-691 巴尔米拉环礁大洋洲geographic 次要地区
(geographicSubregion PitcairnIslands Oceania) CountriesAndRegions.kif 692-692 皮特凯恩群岛大洋洲geographic 次要地区

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 3437-3446 实体大陆instance 若且唯若 非洲 equal 那个 实体北美 equal 那个 实体南美洲 equal 那个 实体南极洲 equal 那个 实体欧洲 equal 那个 实体亚洲 equal 那个 实体大洋洲 equal 那个 实体


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