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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UnitedStates

 Sigma KEE - UnitedStates
UnitedStates(美国)

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


(chiefOfStateType UnitedStates President) MilitaryPersons.kif 481-481 主席 美国 的州类别的 chief
(documentation UnitedStates EnglishLanguage "The North American republic of 50 states.") CountriesAndRegions.kif 1376-1376 主席 美国 的州类别的 chief
(economyType UnitedStates AdvancedEconomy) Economy.kif 562-562 发达经济 是 美国 的 economy 类别
(economyType UnitedStates DevelopedCountry) Economy.kif 180-180 发达国家 是 美国 的 economy 类别
(externalImage UnitedStates "http://articulatesoftware.com/SUMOpictures/ geography/ Country_Maps/ U/ United_States.png") pictureList.kif 814-814 发达国家 是 美国 的 economy 类别
(geographicSubregion UnitedStates NorthAmerica) CountriesAndRegions.kif 405-405 美国 是 北美 的 geographic 次要地区
(instance UnitedStates Nation) CountriesAndRegions.kif 406-406 美国 是 国家 的 instance

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


(capitalCity WashingtonDCUnitedStates UnitedStates) CountriesAndRegions.kif 1050-1050 美国 是 华盛顿特区美国 的 capital 城市
(dependentGeopoliticalArea AmericanSamoa UnitedStates) CountriesAndRegions.kif 3726-3726 美国萨摩亚 是 美国 的 dependent
(dependentGeopoliticalArea BakerIsland UnitedStates) CountriesAndRegions.kif 3734-3734 贝克岛 是 美国 的 dependent
(dependentGeopoliticalArea Guam UnitedStates) CountriesAndRegions.kif 3784-3784 关岛 是 美国 的 dependent
(dependentGeopoliticalArea HowlandIsland UnitedStates) CountriesAndRegions.kif 3791-3791 Howland岛 是 美国 的 dependent
(dependentGeopoliticalArea JarvisIsland UnitedStates) CountriesAndRegions.kif 3797-3797 贾维斯岛 是 美国 的 dependent
(dependentGeopoliticalArea JohnstonAtoll UnitedStates) CountriesAndRegions.kif 3801-3801 约翰斯顿环礁 是 美国 的 dependent
(dependentGeopoliticalArea KingmanReef UnitedStates) CountriesAndRegions.kif 3805-3805 金曼礁 是 美国 的 dependent
(dependentGeopoliticalArea MidwayIslands UnitedStates) CountriesAndRegions.kif 3813-3813 中途岛屿 是 美国 的 dependent
(dependentGeopoliticalArea NavassaIsland UnitedStates) CountriesAndRegions.kif 3817-3817 纳瓦萨岛 是 美国 的 dependent
(dependentGeopoliticalArea NorthernMarianaIslands UnitedStates) CountriesAndRegions.kif 3827-3827 北马里亚纳群岛 是 美国 的 dependent
(dependentGeopoliticalArea PalmyraAtoll UnitedStates) CountriesAndRegions.kif 3829-3829 巴尔米拉环礁 是 美国 的 dependent
(dependentGeopoliticalArea PuertoRico UnitedStates) CountriesAndRegions.kif 3833-3833 波多黎各 是 美国 的 dependent
(dependentGeopoliticalArea USVirginIslands UnitedStates) CountriesAndRegions.kif 3850-3850 USVirginIslands 是 美国 的 dependent
(dependentGeopoliticalArea WakeIsland UnitedStates) CountriesAndRegions.kif 3853-3853 苏醒岛 是 美国 的 dependent
(geographicSubregion ChicagoUnitedStates UnitedStates) CountriesAndRegions.kif 2719-2719 芝加哥美国 是 美国 的 geographic 次要地区
(geographicSubregion FloridaUnitedStates UnitedStates) CountriesAndRegions.kif 2843-2843 佛罗里达 是 美国 的 geographic 次要地区
(geographicSubregion LosAngelesCalifornia UnitedStates) CountriesAndRegions.kif 3138-3138 洛杉矶加利福尼亚州 是 美国 的 geographic 次要地区
(geographicSubregion LosAngelesInternationalAirportUnitedStates UnitedStates) CountriesAndRegions.kif 3141-3141 洛杉矶国际机场美国 是 美国 的 geographic 次要地区
(geographicSubregion NewJersey UnitedStates) CountriesAndRegions.kif 1051-1051 新泽西州美国 是 美国 的 geographic 次要地区
(geographicSubregion NewYorkCityUnitedStates UnitedStates) CountriesAndRegions.kif 1057-1057 纽约市美国 是 美国 的 geographic 次要地区
(geographicSubregion NewYorkState UnitedStates) CountriesAndRegions.kif 1055-1055 纽约州 是 美国 的 geographic 次要地区
(geographicSubregion SacramentoUnitedStates UnitedStates) CountriesAndRegions.kif 3458-3458 萨克拉门托美国 是 美国 的 geographic 次要地区
(geographicSubregion Texas UnitedStates) CountriesAndRegions.kif 1116-1116 德州 是 美国 的 geographic 次要地区

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


(codeMapping ISO-3166-1-alpha-2 "US" UnitedStates) Media.kif 2773-2773 "US" 在 ISO-3166-1-alpha-2 denotes 美国

appearance as argument number 4
-------------------------


(comparativeArea SouthernOcean greaterThan 2.0 UnitedStates) Geography.kif 4652-4652 南部海洋 comparative 地区 大于 对于 2.0 跟 美国 在一起

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


(=>
    (and
        (attribute ?X BlueforceControlled)
        (instance ?X Object))
    (exists (?A)
        (and
            (instance ?A GovernmentOrganization)
            (possesses ?A ?X)
            (or
                (subOrganization ?A
                    (GovernmentFn UnitedStates))
                (allied ?A
                    (GovernmentFn UnitedStates))))))		 MilitaryProcesses.kif 2825-2837
(=>
    (and
        (instance ?ATTR USMilitaryRank)
        (attribute ?PERSON ?ATTR))
    (exists (?MO)
        (and
            (member ?PERSON ?MO)
            (militaryOfArea ?MO UnitedStates))))		 Military.kif 257-264
(=>
    (and
        (instance ?X WaterTransportationService)
        (serviceProvider ?X ?Y)
        (attribute ?Y CoastalAndGreatLakesFreightTransportation))
    (exists (?FREIGHT ?SHIP ?WATER)
        (and
            (subProcess ?FREIGHT ?X)
            (instance ?FREIGHT WaterTransportation)
            (instrument ?FREIGHT ?SHIP)
            (instance ?SHIP CargoShip)
            (eventLocated ?FREIGHT ?WATER)
            (instance ?WATER WaterArea)
            (geographicSubregion ?WATER UnitedStates))))		 naics.kif 8184-8197
(=>
    (and
        (instance ?X WaterTransportationService)
        (serviceProvider ?X ?Y)
        (attribute ?Y CoastalAndGreatLakesPassengerTransportation))
    (exists (?CRUISE ?SHIP ?WATER)
        (and
            (subProcess ?CRUISE ?X)
            (instance ?CRUISE WaterTransportation)
            (instrument ?CRUISE ?SHIP)
            (instance ?SHIP PassengerShip)
            (eventLocated ?CRUISE ?WATER)
            (instance ?WATER WaterArea)
            (geographicSubregion ?WATER UnitedStates)
            (not
                (exists (?FERRY)
                    (and
                        (instance ?FERRY ShortSeaPassengerShip)
                        (equal ?SHIP ?FERRY)))))))		 naics.kif 8207-8225
(=>
    (attribute ?H PresidentOfTheUnitedStates)
    (leader ?H UnitedStates))		 Government.kif 1465-1467
(=>
    (instance ?AREA UnincorporatedUnitedStatesTerritory)
    (dependentAreaOfType ?AREA UnitedStates OverseasArea))		 Government.kif 479-481
(=>
    (instance ?CITY AmericanCity)
    (part ?CITY UnitedStates))		 CountriesAndRegions.kif 39-41
(=>
    (instance ?STATE AmericanState)
    (part ?STATE UnitedStates))		 CountriesAndRegions.kif 25-27
(=>
    (member ?AREA UnitedStatesMinorOutlyingIslands)
    (dependentGeopoliticalArea ?AREA UnitedStates))		 Media.kif 2614-2616

statement
-------------------------


(equal AmericanState
    (GeographicPartTypeFn StateOrProvince UnitedStates))		 Geography.kif 6951-6951 美国国家 equal 州或省 所有的 instances 在 美国
(subOrganization DepartmentOfHomelandSecurity
    (GovernmentFn UnitedStates))		 Government.kif 4790-4790 国土安全部 是 美国 的 Government Organization 的一部分
(subOrganization USFoodAndDrugAdministration
    (GovernmentFn UnitedStates))		 VirusProteinAndCellPart.kif 1284-1284 USFoodAndDrugAdministration 是 美国 的 Government Organization 的一部分
(subOrganization USStateDepartment
    (GovernmentFn UnitedStates))		 Government.kif 2353-2353 美国国务院 是 美国 的 Government Organization 的一部分
(subOrganization UnitedStatesCongress
    (GovernmentFn UnitedStates))		 Government.kif 1911-1911 美国国会 是 美国 的 Government Organization 的一部分
(subOrganization UnitedStatesDepartmentOfInterior
    (GovernmentFn UnitedStates))		 Government.kif 4817-4817 美国内政部 是 美国 的 Government Organization 的一部分
(subOrganization UnitedStatesDepartmentOfState
    (GovernmentFn UnitedStates))		 Government.kif 4812-4812 美国国务院 是 美国 的 Government Organization 的一部分


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