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 | geographicSubregion NorthAmerica and NorthernHemisphere |
(geographicSubregion NorthAmerica WesternHemisphere) | Geography.kif 3529-3529 | geographicSubregion NorthAmerica and WesternHemisphere |
(instance NorthAmerica Continent) | Geography.kif 3527-3527 | NorthAmerica は 大陸 の instance では %n |
(instance NorthAmerica GeographicArea) | Geography.kif 91-91 | NorthAmerica は 地理的地域 の instance では %n |
(orientation NorthAmerica Asia East) | Geography.kif 279-279 | NorthAmerica は East 対 Asia では %n |
(orientation NorthAmerica SouthAmerica North) | Geography.kif 278-278 | NorthAmerica は North 対 SouthAmerica では %n |
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 |