Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  NorthAmerica

Sigma KEE - NorthAmerica
NorthAmerica

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 17672-17672
(habitatOfOrganism Bear NorthAmerica) Mid-level-ontology.kif 17687-17687
(habitatOfOrganism Crocodile NorthAmerica) Mid-level-ontology.kif 28242-28242
(habitatOfOrganism Llama NorthAmerica) Mid-level-ontology.kif 17710-17710
(habitatOfOrganism Parrot NorthAmerica) Mid-level-ontology.kif 28148-28148
(habitatOfOrganism Reindeer NorthAmerica) Mid-level-ontology.kif 28224-28224
(habitatOfOrganism Skunk NorthAmerica) Mid-level-ontology.kif 17719-17719
(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 7247-7247

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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners