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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - NorthAmerica

appearance as argument number 1

(externalImage NorthAmerica " 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 北美 and Continent
(instance NorthAmerica GeographicArea) Geography.kif 91-91 北美 and GeographicArea
(orientation NorthAmerica Asia East) Geography.kif 279-279 方位 北美, 亞洲 and
(orientation NorthAmerica SouthAmerica North) Geography.kif 278-278 方位 北美, 南美洲 and

appearance as argument number 2

(geographicSubregion Bermuda NorthAmerica) CountriesAndRegions.kif 404-404 百慕大北美geographic 次要地區
(geographicSubregion NorthernNorthAmerica NorthAmerica) Geography.kif 164-164 北美洲北部北美geographic 次要地區
(geographicSubregion UnitedStates NorthAmerica) CountriesAndRegions.kif 405-405 美國北美geographic 次要地區
(habitatOfOrganism Badger NorthAmerica) Mid-level-ontology.kif 20287-20287 Badger inhabits 北美
(habitatOfOrganism Bear NorthAmerica) Mid-level-ontology.kif 20302-20302 Bear inhabits 北美
(habitatOfOrganism Crocodile NorthAmerica) Mid-level-ontology.kif 30547-30547 Crocodile inhabits 北美
(habitatOfOrganism Llama NorthAmerica) Mid-level-ontology.kif 20325-20325 Llama inhabits 北美
(habitatOfOrganism Parrot NorthAmerica) Mid-level-ontology.kif 30453-30453 Parrot inhabits 北美
(habitatOfOrganism Reindeer NorthAmerica) Mid-level-ontology.kif 30529-30529 馴鹿 inhabits 北美
(habitatOfOrganism Skunk NorthAmerica) Mid-level-ontology.kif 20334-20334 Skunk inhabits 北美
(names "North America" NorthAmerica) Geography.kif 121-121 "North America" and 北美
(orientation Africa NorthAmerica Southeast) Geography.kif 282-282 方位 非洲, 北美 and 東南
(orientation CaribbeanRegion NorthAmerica South) Geography.kif 290-290 方位 加勒比地區, 北美 and
(orientation Europe NorthAmerica East) Geography.kif 277-277 方位 歐洲, 北美 and
(orientation MiddleAmerica NorthAmerica South) Geography.kif 288-288 方位 中美洲, 北美 and
(orientation Oceania NorthAmerica Southwest) Geography.kif 284-284 方位 大洋洲, 北美 and 西南
(overlapsSpatially CaribbeanRegion NorthAmerica) Geography.kif 167-167 在空間上重疊 加勒比地區 and 北美
(overlapsSpatially MiddleAmerica NorthAmerica) Geography.kif 168-168 在空間上重疊 中美洲 and 北美
(termFormat ChineseLanguage NorthAmerica "北美") domainEnglishFormat.kif 40959-40959
(termFormat ChineseTraditionalLanguage NorthAmerica "北美") domainEnglishFormat.kif 40958-40958
(termFormat EnglishLanguage NorthAmerica "north america") domainEnglishFormat.kif 40957-40957


        (instance ?NATION Nation)
            (geographicSubregion ?NATION NorthAmerica)
            (geographicSubregion ?NATION SouthAmerica)
            (geographicSubregion ?NATION WesternEurope)))
        (WhenFn ?NATION)
        (nationalHoliday ?NATION ChristmasDay)))
Media.kif 349-357


    (instance ?CONTINENT Continent)
        (equal Africa ?CONTINENT)
        (equal NorthAmerica ?CONTINENT)
        (equal SouthAmerica ?CONTINENT)
        (equal Antarctica ?CONTINENT)
        (equal Europe ?CONTINENT)
        (equal Asia ?CONTINENT)
        (equal Oceania ?CONTINENT)))
Geography.kif 3504-3513 Entity and Continent 等於 非洲 and Entity 等於 北美 and Entity 等於 南美洲 and Entity 等於 南極洲 and Entity 等於 歐洲 and Entity 等於 亞洲 and Entity 等於 大洋洲 and Entity
        (attribute ?X DeepSeaCoastalAndGreatLakesWaterTransportation)
        (instance ?X TransportationCompany))
    (exists (?SERVICE ?PLACE)
            (instance ?SERVICE WaterTransportationService)
            (serviceProvider ?SERVICE ?X)
            (eventLocated ?SERVICE ?PLACE)
            (instance ?PLACE WaterArea)
            (located ?X NorthAmerica))))
naics.kif 8120-8130
    (attribute ?MEAL ContinentalBreakfast)
        (equal ContinentalBreakfast
            (MealAttributeFn ?MEAL NorthAmerica))
        (equal ContinentalBreakfast
            (MealAttributeFn ?MEAL Europe))))
Food.kif 1725-1729

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 is open source software produced by Articulate Software and its partners