NorthAmerica - Sigma Knowledge base Browser

appearance as argument number 1

(externalImage NorthAmerica "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ geography/ continents/ north_america.png")	pictureList.kif 630-630
(geographicSubregion NorthAmerica NorthernHemisphere)	Geography.kif 3374-3374
(geographicSubregion NorthAmerica WesternHemisphere)	Geography.kif 3375-3375
(instance NorthAmerica Continent)	Geography.kif 3373-3373
(instance NorthAmerica GeographicArea)	Geography.kif 91-91
(orientation NorthAmerica Asia East)	Geography.kif 279-279
(orientation NorthAmerica SouthAmerica North)	Geography.kif 278-278

appearance as argument number 2

(geographicSubregion Bermuda NorthAmerica)	CountriesAndRegions.kif 404-404
(geographicSubregion NorthernNorthAmerica NorthAmerica)	Geography.kif 164-164
(geographicSubregion UnitedStates NorthAmerica)	CountriesAndRegions.kif 405-405
(habitatOfOrganism Badger NorthAmerica)	Mid-level-ontology.kif 17973-17973
(habitatOfOrganism Bear NorthAmerica)	Mid-level-ontology.kif 17988-17988
(habitatOfOrganism Crocodile NorthAmerica)	Mid-level-ontology.kif 28603-28603
(habitatOfOrganism Llama NorthAmerica)	Mid-level-ontology.kif 18011-18011
(habitatOfOrganism Parrot NorthAmerica)	Mid-level-ontology.kif 28509-28509
(habitatOfOrganism Reindeer NorthAmerica)	Mid-level-ontology.kif 28585-28585
(habitatOfOrganism Skunk NorthAmerica)	Mid-level-ontology.kif 18020-18020
(names "North America" NorthAmerica)	Geography.kif 121-121
(orientation Africa NorthAmerica Southeast)	Geography.kif 282-282
(orientation CaribbeanRegion NorthAmerica South)	Geography.kif 290-290
(orientation Europe NorthAmerica East)	Geography.kif 277-277
(orientation MiddleAmerica NorthAmerica South)	Geography.kif 288-288
(orientation Oceania NorthAmerica Southwest)	Geography.kif 284-284
(overlapsSpatially CaribbeanRegion NorthAmerica)	Geography.kif 167-167
(overlapsSpatially MiddleAmerica NorthAmerica)	Geography.kif 168-168
(termFormat EnglishLanguage NorthAmerica "north america")	domainEnglishFormat.kif 7246-7246

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

(<=> (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 3350-3359
(=> (attribute ?MEAL ContinentalBreakfast) (or (equal ContinentalBreakfast (MealAttributeFn ?MEAL NorthAmerica)) (equal ContinentalBreakfast (MealAttributeFn ?MEAL Europe))))	Food.kif 184-188