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 3712-3712 | Oceania は 大陸 の instance では |
(instance Oceania GeographicArea) | Geography.kif 106-106 | Oceania は 地理的地域 の instance では |
(orientation Oceania NorthAmerica Southwest) | Geography.kif 284-284 | Oceania は Southwest 対 NorthAmerica では |
(overlapsSpatially Oceania EasternHemisphere) | Geography.kif 3716-3716 | overlapsSpatially Oceania and EasternHemisphere |
(overlapsSpatially Oceania NorthernHemisphere) | Geography.kif 3714-3714 | overlapsSpatially Oceania and NorthernHemisphere |
(overlapsSpatially Oceania SouthernHemisphere) | Geography.kif 3715-3715 | overlapsSpatially Oceania and SouthernHemisphere |
(overlapsSpatially Oceania WesternHemisphere) | Geography.kif 3717-3717 | overlapsSpatially Oceania and WesternHemisphere |
appearance as argument number 2 |
![]() |
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 3662-3671 | エンティティー は 大陸 の instance では equal Africa and エンティティー equal NorthAmerica and エンティティー equal SouthAmerica and エンティティー equal Antarctica and エンティティー equal Europe and エンティティー equal Asia and エンティティー equal Oceania and エンティティー |
![]() |
![]() |