TreeView Knowledge Base Browser

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
(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
(geographicSubregion UnitedStates NorthAmerica)	CountriesAndRegions.kif 405-405	美國是北美的 geographic 次要地區
(instance UnitedStates Nation)	CountriesAndRegions.kif 406-406	例美國 and Nation

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 4676-4676

南部海洋 comparative 地區比較多對於 2.0 跟美國在一起

consequent

(=> (and (instance ?ATTR USMilitaryRank) (attribute ?PERSON ?ATTR)) (exists (?MO) (and (member ?PERSON ?MO) (militaryOfArea ?MO UnitedStates))))	Military.kif 257-264	例 Attribute and 美國軍銜 attribute Object and Attribute 軍事組織會員 Object and 軍事組織美國是軍事組織的 military 區域
(=> (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 WaterTransportationService 服務提供者服務 and CognitiveAgent attribute CognitiveAgent and 沿海和大湖泊貨運 Process Object and GeographicArea 子過程 Process and 服務例 Process and 水運儀器 Process and Object 例 Object and 貨船 Process 是 located 在 GeographicArea 例 GeographicArea and WaterArea GeographicArea 是美國的 geographic 次要地區
(=> (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	例服務 and WaterTransportationService 服務提供者服務 and CognitiveAgent attribute CognitiveAgent and 沿海和大湖泊客運 Process Object and GeographicArea 子過程 Process and 服務例 Process and 水運儀器 Process and Object 例 Object and 客船 Process 是 located 在 GeographicArea 例 GeographicArea and WaterArea GeographicArea 是美國的 geographic 次要地區 Entity 例 Entity and 近海客船等於 Object and Entity
(=> (attribute ?H PresidentOfTheUnitedStates) (leader ?H UnitedStates))	Government.kif 1503-1505	attribute AutonomousAgent and 美國總統美國是 AutonomousAgent 的 leader
(=> (instance ?AREA UnincorporatedUnitedStatesTerritory) (dependentAreaOfType ?AREA UnitedStates OverseasArea))	Government.kif 515-517	例 GeopoliticalArea and 非法人團結的美國領土 GeopoliticalArea 對於海外地區 dependent 區域的類別美國
(=> (instance ?CITY AmericanCity) (part ?CITY UnitedStates))	CountriesAndRegions.kif 39-41	例 Object and 美國城市部分 Object and 美國
(=> (instance ?STATE AmericanState) (part ?STATE UnitedStates))	CountriesAndRegions.kif 25-27	例 Object and 美國國家部分 Object and 美國
(=> (member ?AREA UnitedStatesMinorOutlyingIslands) (dependentGeopoliticalArea ?AREA UnitedStates))	Media.kif 2614-2616	會員 GeopoliticalArea and UnitedStatesMinorOutlyingIslands GeopoliticalArea 是美國的 dependent

statement

(equal AmericanState (GeographicPartTypeFn StateOrProvince UnitedStates))	Geography.kif 6976-6976	等於美國國家 and StateOrProvince 所有的 instances 在美國
(subOrganization DepartmentOfHomelandSecurity (GovernmentFn UnitedStates))	Government.kif 4828-4828	子組織國土安全部 and 政府美國
(subOrganization USFoodAndDrugAdministration (GovernmentFn UnitedStates))	VirusProteinAndCellPart.kif 1283-1283	子組織 USFoodAndDrugAdministration and 政府美國
(subOrganization USStateDepartment (GovernmentFn UnitedStates))	Government.kif 2391-2391	子組織美國國務院 and 政府美國
(subOrganization UnitedStatesCongress (GovernmentFn UnitedStates))	Government.kif 1949-1949	子組織美國國會 and 政府美國
(subOrganization UnitedStatesDepartmentOfInterior (GovernmentFn UnitedStates))	Government.kif 4855-4855	子組織美國內政部 and 政府美國
(subOrganization UnitedStatesDepartmentOfState (GovernmentFn UnitedStates))	Government.kif 4850-4850	子組織美國國務院 and 政府美國

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

KB Term:			Term intersection

English Word: