TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 481-481	President is a chief of state type of united states
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1376-1376
No TPTP formula. May not be expressible in strict first order.	Economy.kif 562-562	Advanced economy is an economy type of united states
No TPTP formula. May not be expressible in strict first order.	Economy.kif 180-180	Developed country is an economy type of united states
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 814-814
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 405-405	United states is a geographic subregion of north america
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 406-406	United states is an instance of nation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1050-1050	United states is a capital city of washingtonDC united states
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3726-3726	American samoa is a dependent of united states
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3734-3734	Baker island is a dependent of united states
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3784-3784	Guam is a dependent of united states
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3791-3791	Howland island is a dependent of united states
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3797-3797	Jarvis island is a dependent of united states
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3801-3801	Johnston atoll is a dependent of united states
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3805-3805	Kingman reef is a dependent of united states
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3813-3813	Midway islands is a dependent of united states
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3817-3817	Navassa island is a dependent of united states
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3827-3827	Northern mariana islands is a dependent of united states
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3829-3829	Palmyra atoll is a dependent of united states
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3833-3833	Puerto rico is a dependent of united states
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3850-3850	US virgin islands is a dependent of united states
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3853-3853	Wake island is a dependent of united states
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2719-2719	Chicago united states is a geographic subregion of united states
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2843-2843	Florida is a geographic subregion of united states
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3138-3138	Los angeles california is a geographic subregion of united states
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3141-3141	Los angeles international airport united states is a geographic subregion of united states
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1051-1051	New jersey united states is a geographic subregion of united states
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1057-1057	New york city united states is a geographic subregion of united states
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1055-1055	New york state is a geographic subregion of united states
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3458-3458	Sacramento united states is a geographic subregion of united states
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1116-1116	Texas is a geographic subregion of united states

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

Media.kif 2773-2773

"US" in ISO-3166-1-alpha-2 denotes united states

appearance as argument number 4

No TPTP formula. May not be expressible in strict first order.

Geography.kif 4676-4676

Southern ocean comparative area greater than for 2.0 with united states

consequent

No TPTP formula. May not be expressible in strict first order.	Military.kif 257-264	If an attribute is an instance of US military rank and the attribute is an attribute of an object, then there exists a military organization such that the object is a member of the military organization and united states is a military of area of the military organization
No TPTP formula. May not be expressible in strict first order.	naics.kif 8184-8197	If a service is an instance of Water Transportation Service and a cognitive agent provides a service during the service and coastal and great lakes freight transportation is an attribute of the cognitive agent, then there exist a process, an object and a geographic area such that the process is a subprocess of the service and the process is an instance of water transportation and the object is an instrument for the process and the object is an instance of cargo ship and the process is located at the geographic area and the geographic area is an instance of water area and the geographic area is a geographic subregion of united states
No TPTP formula. May not be expressible in strict first order.	naics.kif 8207-8225	If a service is an instance of Water Transportation Service and a cognitive agent provides a service during the service and coastal and great lakes passenger transportation is an attribute of the cognitive agent, then there exist a process, an object and a geographic area such that the process is a subprocess of the service and the process is an instance of water transportation and the object is an instrument for the process and the object is an instance of passenger ship and the process is located at the geographic area and the geographic area is an instance of water area and the geographic area is a geographic subregion of united states and there doesn't exist an entity such that the entity is an instance of short sea passenger ship and the object is equal to the entity
No TPTP formula. May not be expressible in strict first order.	Government.kif 1503-1505	If president of the united states is an attribute of an agent, then united states is a leader of the agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 515-517	If a geopolitical area is an instance of unincorporated united states territory, then the geopolitical area dependent area of type united states for overseas area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 39-41	If an object is an instance of american city, then the object is a part of united states
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 25-27	If an object is an instance of american state, then the object is a part of united states
No TPTP formula. May not be expressible in strict first order.	Media.kif 2614-2616	If a geopolitical area is a member of United states minor outlying islands, then the geopolitical area is a dependent of united states

statement

No TPTP formula. May not be expressible in strict first order.	Geography.kif 6976-6976	American state is equal to all the instances of state or province in united states
No TPTP formula. May not be expressible in strict first order.	Government.kif 4828-4828	Department of homeland security is a part of the organization the government of united states
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1283-1283	US food and drug administration is a part of the organization the government of united states
No TPTP formula. May not be expressible in strict first order.	Government.kif 2391-2391	US state department is a part of the organization the government of united states
No TPTP formula. May not be expressible in strict first order.	Government.kif 1949-1949	United states congress is a part of the organization the government of united states
No TPTP formula. May not be expressible in strict first order.	Government.kif 4855-4855	United states department of interior is a part of the organization the government of united states
No TPTP formula. May not be expressible in strict first order.	Government.kif 4850-4850	United states department of state is a part of the organization the government of united states

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: