Africa(非洲) |
appearance as argument number 1 |
(externalImage Africa "http://articulatesoftware.com/SUMOpictures/geography/ continents/ africa.png") | pictureList.kif 210-210 | |
(geographicSubregion Africa EasternHemisphere) | Geography.kif 3525-3525 | 非洲 是 东半球 的 geographic 次要地区 |
(instance Africa Continent) | Geography.kif 3521-3521 | 非洲 是 大陆 的 instance |
(orientation Africa NorthAmerica Southeast) | Geography.kif 282-282 | 非洲 在 北美 的 东南 |
(orientation Africa SouthAmerica Northeast) | Geography.kif 280-280 | 非洲 在 南美洲 的 东北 |
(overlapsSpatially Africa NorthernHemisphere) | Geography.kif 3523-3523 | 非洲 和 北半球 重叠 |
(overlapsSpatially Africa SouthernHemisphere) | Geography.kif 3524-3524 | 非洲 和 南半球 重叠 |
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 3504-3513 | 实体 是 大陆 的 instance 若且唯若 非洲 equal 那个 实体 或 北美 equal 那个 实体 或 南美洲 equal 那个 实体 或 南极洲 equal 那个 实体 或 欧洲 equal 那个 实体 或 亚洲 equal 那个 实体 或 大洋洲 equal 那个 实体 |
(=> (instance ?PLAIN Veldt) (located ?PLAIN Africa)) |
Geography.kif 6719-6721 |