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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UnitedStates
UnitedStates

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


(chiefOfStateType UnitedStates President) MilitaryPersons.kif 481-481 chiefOfStateType UnitedStates and President
(documentation UnitedStates EnglishLanguage "The North American republic of 50 states.") CountriesAndRegions.kif 1376-1376
(economyType UnitedStates AdvancedEconomy) Economy.kif 562-562 economyType UnitedStates and AdvancedEconomy
(economyType UnitedStates DevelopedCountry) Economy.kif 180-180 economyType UnitedStates and DevelopedCountry
(externalImage UnitedStates "http://articulatesoftware.com/SUMOpictures/ geography/ Country_Maps/ U/ United_States.png") pictureList.kif 814-814
(geographicSubregion UnitedStates NorthAmerica) CountriesAndRegions.kif 405-405 geographicSubregion UnitedStates and NorthAmerica
(instance UnitedStates Nation) CountriesAndRegions.kif 406-406 UnitedStates è un' istanza di Nazione

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


(capitalCity WashingtonDCUnitedStates UnitedStates) CountriesAndRegions.kif 1050-1050 capitalCity WashingtonDCUnitedStates and UnitedStates
(dependentGeopoliticalArea AmericanSamoa UnitedStates) CountriesAndRegions.kif 3726-3726 dependentGeopoliticalArea AmericanSamoa and UnitedStates
(dependentGeopoliticalArea BakerIsland UnitedStates) CountriesAndRegions.kif 3734-3734 dependentGeopoliticalArea BakerIsland and UnitedStates
(dependentGeopoliticalArea Guam UnitedStates) CountriesAndRegions.kif 3784-3784 dependentGeopoliticalArea Guam and UnitedStates
(dependentGeopoliticalArea HowlandIsland UnitedStates) CountriesAndRegions.kif 3791-3791 dependentGeopoliticalArea HowlandIsland and UnitedStates
(dependentGeopoliticalArea JarvisIsland UnitedStates) CountriesAndRegions.kif 3797-3797 dependentGeopoliticalArea JarvisIsland and UnitedStates
(dependentGeopoliticalArea JohnstonAtoll UnitedStates) CountriesAndRegions.kif 3801-3801 dependentGeopoliticalArea JohnstonAtoll and UnitedStates
(dependentGeopoliticalArea KingmanReef UnitedStates) CountriesAndRegions.kif 3805-3805 dependentGeopoliticalArea KingmanReef and UnitedStates
(dependentGeopoliticalArea MidwayIslands UnitedStates) CountriesAndRegions.kif 3813-3813 dependentGeopoliticalArea MidwayIslands and UnitedStates
(dependentGeopoliticalArea NavassaIsland UnitedStates) CountriesAndRegions.kif 3817-3817 dependentGeopoliticalArea NavassaIsland and UnitedStates
(dependentGeopoliticalArea NorthernMarianaIslands UnitedStates) CountriesAndRegions.kif 3827-3827 dependentGeopoliticalArea NorthernMarianaIslands and UnitedStates
(dependentGeopoliticalArea PalmyraAtoll UnitedStates) CountriesAndRegions.kif 3829-3829 dependentGeopoliticalArea PalmyraAtoll and UnitedStates
(dependentGeopoliticalArea PuertoRico UnitedStates) CountriesAndRegions.kif 3833-3833 dependentGeopoliticalArea PuertoRico and UnitedStates
(dependentGeopoliticalArea USVirginIslands UnitedStates) CountriesAndRegions.kif 3850-3850 dependentGeopoliticalArea USVirginIslands and UnitedStates
(dependentGeopoliticalArea WakeIsland UnitedStates) CountriesAndRegions.kif 3853-3853 dependentGeopoliticalArea WakeIsland and UnitedStates
(geographicSubregion ChicagoUnitedStates UnitedStates) CountriesAndRegions.kif 2719-2719 geographicSubregion ChicagoUnitedStates and UnitedStates
(geographicSubregion FloridaUnitedStates UnitedStates) CountriesAndRegions.kif 2843-2843 geographicSubregion FloridaUnitedStates and UnitedStates
(geographicSubregion LosAngelesCalifornia UnitedStates) CountriesAndRegions.kif 3138-3138 geographicSubregion LosAngelesCalifornia and UnitedStates
(geographicSubregion LosAngelesInternationalAirportUnitedStates UnitedStates) CountriesAndRegions.kif 3141-3141 geographicSubregion LosAngelesInternationalAirportUnitedStates and UnitedStates
(geographicSubregion NewJersey UnitedStates) CountriesAndRegions.kif 1051-1051 geographicSubregion NewJersey and UnitedStates
(geographicSubregion NewYorkCityUnitedStates UnitedStates) CountriesAndRegions.kif 1057-1057 geographicSubregion NewYorkCityUnitedStates and UnitedStates
(geographicSubregion NewYorkState UnitedStates) CountriesAndRegions.kif 1055-1055 geographicSubregion NewYorkState and UnitedStates
(geographicSubregion SacramentoUnitedStates UnitedStates) CountriesAndRegions.kif 3458-3458 geographicSubregion SacramentoUnitedStates and UnitedStates
(geographicSubregion Texas UnitedStates) CountriesAndRegions.kif 1116-1116 geographicSubregion Texas and UnitedStates

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 codeMapping ISO-3166-1-alpha-2, "US" and UnitedStates

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


(comparativeArea SouthernOcean greaterThan 2.0 UnitedStates) Geography.kif 4676-4676 comparativeArea SouthernOcean, greaterThan, 2.0 and UnitedStates

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


(=>
    (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 1467-1469
(=>
    (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 6976-6976 AmericanState is uguale a GeographicPartTypeFn StatoOProvincia and UnitedStates
(subOrganization DepartmentOfHomelandSecurity
    (GovernmentFn UnitedStates))		 Government.kif 4792-4792 subOrganization DepartmentOfHomelandSecurity and GovernmentFn UnitedStates
(subOrganization USFoodAndDrugAdministration
    (GovernmentFn UnitedStates))		 VirusProteinAndCellPart.kif 1284-1284 subOrganization USFoodAndDrugAdministration and GovernmentFn UnitedStates
(subOrganization USStateDepartment
    (GovernmentFn UnitedStates))		 Government.kif 2355-2355 subOrganization USStateDepartment and GovernmentFn UnitedStates
(subOrganization UnitedStatesCongress
    (GovernmentFn UnitedStates))		 Government.kif 1913-1913 subOrganization UnitedStatesCongress and GovernmentFn UnitedStates
(subOrganization UnitedStatesDepartmentOfInterior
    (GovernmentFn UnitedStates))		 Government.kif 4819-4819 subOrganization UnitedStatesDepartmentOfInterior and GovernmentFn UnitedStates
(subOrganization UnitedStatesDepartmentOfState
    (GovernmentFn UnitedStates))		 Government.kif 4814-4814 subOrganization UnitedStatesDepartmentOfState and GovernmentFn UnitedStates


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



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