NorthAmerica
|
|
appearance as argument number 1 |
(externalImage NorthAmerica "http://articulatesoftware.com/SUMOpictures/ geography/ continents/ north_america.png") | pictureList.kif 630-630 | |
(geographicSubregion NorthAmerica NorthernHemisphere) | Geography.kif 3528-3528 | 北美 是 北半球 的 geographic 次要地区 |
(geographicSubregion NorthAmerica WesternHemisphere) | Geography.kif 3529-3529 | 北美 是 西半球 的 geographic 次要地区 |
(instance NorthAmerica Continent) | Geography.kif 3527-3527 | 北美 是 大陆 的 instance |
(instance NorthAmerica GeographicArea) | Geography.kif 91-91 | 北美 是 地理区域 的 instance |
(orientation NorthAmerica Asia East) | Geography.kif 279-279 | 北美 在 亚洲 的 东 |
(orientation NorthAmerica SouthAmerica North) | Geography.kif 278-278 | 北美 在 南美洲 的 北 |
appearance as argument number 2 |
antecedent |
(=> (and (instance ?NATION Nation) (or (geographicSubregion ?NATION NorthAmerica) (geographicSubregion ?NATION SouthAmerica) (geographicSubregion ?NATION WesternEurope))) (holdsDuring (WhenFn ?NATION) (nationalHoliday ?NATION ChristmasDay))) |
Media.kif 349-357 |
|
consequent |