Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  ListFn__7Fn__0En1Ra2Ra3Re4En5Ra6Re7EnFn

 Sigma KEE - NorthAmerica
NorthAmerica(north america)
North_America

appearance as argument number 1
-------------------------


(instance NorthAmerica GeographicArea) Geography.kif 91-91 North america is an instance of geographic area
(orientation NorthAmerica SouthAmerica North) Geography.kif 278-278 North america is north of to south america
(orientation NorthAmerica Asia East) Geography.kif 279-279 North america is east of to asia
(instance NorthAmerica Continent) Geography.kif 4930-4930 North america is an instance of continent
(geographicSubregion NorthAmerica NorthernHemisphere) Geography.kif 4931-4931 North america is a geographic subregion of northern hemisphere
(geographicSubregion NorthAmerica WesternHemisphere) Geography.kif 4932-4932 North america is a geographic subregion of western hemisphere
(externalImage NorthAmerica "http://articulatesoftware.com/SUMOpictures/ geography/ continents/ north_america.png") pictureList.kif 630-630 North america is a geographic subregion of western hemisphere

appearance as argument number 2
-------------------------


(geographicSubregion Bermuda NorthAmerica) CountriesAndRegions.kif 404-404 Bermuda is a geographic subregion of north america
(geographicSubregion UnitedStates NorthAmerica) CountriesAndRegions.kif 405-405 United states is a geographic subregion of north america
(names "North America" NorthAmerica) Geography.kif 121-121 North america has name "North America"
(geographicSubregion NorthernNorthAmerica NorthAmerica) Geography.kif 164-164 Northern north america is a geographic subregion of north america
(overlapsSpatially CaribbeanRegion NorthAmerica) Geography.kif 167-167 Caribbean region and north america overlapsSpatially
(overlapsSpatially MiddleAmerica NorthAmerica) Geography.kif 168-168 Middle america and north america overlapsSpatially
(orientation Europe NorthAmerica East) Geography.kif 277-277 Europe is east of to north america
(orientation Africa NorthAmerica Southeast) Geography.kif 282-282 Africa is southeast of to north america
(orientation Oceania NorthAmerica Southwest) Geography.kif 284-284 Oceania is southwest of to north america
(orientation MiddleAmerica NorthAmerica South) Geography.kif 288-288 Middle america is south of to north america
(orientation CaribbeanRegion NorthAmerica South) Geography.kif 290-290 Caribbean region is south of to north america
(geographicSubregion RockyMountains NorthAmerica) Geography.kif 354-354 Rocky Mountains is a geographic subregion of north america
(geographicSubregion WesternNorthAmerica NorthAmerica) Geography.kif 1498-1498 Western NorthAmerica is a geographic subregion of north america
(habitatOfOrganism Badger NorthAmerica) Geography.kif 4934-4934 Badger inhabits north america
(habitatOfOrganism Bear NorthAmerica) Geography.kif 4935-4935 Bear inhabits north america
(habitatOfOrganism Llama NorthAmerica) Geography.kif 4936-4936 Llama inhabits north america
(habitatOfOrganism Skunk NorthAmerica) Geography.kif 4937-4937 Skunk inhabits north america
(habitatOfOrganism Parrot NorthAmerica) Geography.kif 4938-4938 Parrot inhabits north america
(habitatOfOrganism Reindeer NorthAmerica) Geography.kif 4939-4939 Reindeer inhabits north america
(habitatOfOrganism Crocodile NorthAmerica) Geography.kif 4940-4940 Crocodile inhabits north america
(termFormat EnglishLanguage NorthAmerica "north america") domainEnglishFormat.kif 40963-40963 Crocodile inhabits north america
(termFormat ChineseTraditionalLanguage NorthAmerica "北美") domainEnglishFormat.kif 40964-40964 Crocodile inhabits north america
(termFormat ChineseLanguage NorthAmerica "北美") domainEnglishFormat.kif 40965-40965 Crocodile inhabits north america

antecedent
-------------------------


(=>
    (and
        (instance ?NATION Nation)
        (or
            (geographicSubregion ?NATION NorthAmerica)
            (geographicSubregion ?NATION SouthAmerica)
            (geographicSubregion ?NATION WesternEurope)))
    (holdsDuring
        (WhenFn ?NATION)
        (nationalHoliday ?NATION ChristmasDay)))		 Media.kif 343-351 If X is an instance of nation and At least one of the following holds: (1) X is a geographic subregion of north america (2) X is a geographic subregion of south america (3) X is a geographic subregion of western europe, then Christmas day is a national holiday of X holds during the time of existence of X

consequent
-------------------------


(=>
    (attribute ?MEAL ContinentalBreakfast)
    (or
        (equal ContinentalBreakfast
            (MealAttributeFn ?MEAL NorthAmerica))
        (equal ContinentalBreakfast
            (MealAttributeFn ?MEAL Europe))))		 Food.kif 1738-1742 If continental breakfast is an attribute of X, then equal continental breakfast and the appropriate meal for X in north america or equal continental breakfast and the appropriate meal for X in europe
(<=>
    (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 4900-4909 All of the following hold: (1) X is an instance of continent if (2) only if equal africa (3) X or equal north america (4) X or equal south america (5) X or equal antarctica (6) X or equal europe (7) X or equal asia (8) X or equal oceania (9) X
(=>
    (and
        (attribute ?X DeepSeaCoastalAndGreatLakesWaterTransportation)
        (instance ?X TransportationCompany))
    (exists (?SERVICE ?PLACE)
        (and
            (instance ?SERVICE WaterTransportationService)
            (serviceProvider ?SERVICE ?X)
            (eventLocated ?SERVICE ?PLACE)
            (instance ?PLACE WaterArea)
            (located ?X NorthAmerica))))		 naics.kif 8117-8127 If deep sea coastal and great lakes water transportation is an attribute of X and X is an instance of transportation company, then there exist Y, Z such that Y is an instance of Water Transportation Service, X provides a service during Y, Y is located at Z, Z is an instance of water area, and X is located at north america


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 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners