AmericanState - Sigma Knowledge base Browser

appearance as argument number 1

(documentation AmericanState EnglishLanguage "The class of states that make up the UnitedStates.")	CountriesAndRegions.kif 22-23
(equal AmericanState (GeographicPartTypeFn StateOrProvince UnitedStates))	Geography.kif 8625-8625	equal american state and all the instances of state or province in united states
(externalImage AmericanState "http://upload.wikimedia.org/wikipedia/commons/ f/ f4/ US_map_-_states_and_capitals.png")	pictureList.kif 1466-1466	equal american state and all the instances of state or province in united states
(subclass AmericanState StateOrProvince)	CountriesAndRegions.kif 21-21	American state is a subclass of state or province

appearance as argument number 2

(instance Alabama AmericanState)	CountriesAndRegions.kif 865-865	Alabama is an instance of american state
(instance Alaska AmericanState)	CountriesAndRegions.kif 869-869	Alaska is an instance of american state
(instance Arizona AmericanState)	CountriesAndRegions.kif 883-883	Arizona is an instance of american state
(instance Arkansas AmericanState)	CountriesAndRegions.kif 889-889	Arkansas is an instance of american state
(instance California AmericanState)	CountriesAndRegions.kif 895-895	California is an instance of american state
(instance Colorado AmericanState)	CountriesAndRegions.kif 908-908	Colorado is an instance of american state
(instance Connecticut AmericanState)	CountriesAndRegions.kif 914-914	Connecticut is an instance of american state
(instance Delaware AmericanState)	CountriesAndRegions.kif 918-918	Delaware is an instance of american state
(instance FloridaUnitedStates AmericanState)	CountriesAndRegions.kif 924-924	Florida is an instance of american state
(instance Georgia AmericanState)	CountriesAndRegions.kif 930-930	Georgia is an instance of american state
(instance Hawaii AmericanState)	CountriesAndRegions.kif 935-935	Hawaii is an instance of american state
(instance Idaho AmericanState)	CountriesAndRegions.kif 939-939	Idaho is an instance of american state
(instance Illinois AmericanState)	CountriesAndRegions.kif 947-947	Illinois is an instance of american state
(instance Indiana AmericanState)	CountriesAndRegions.kif 952-952	Indiana is an instance of american state
(instance Iowa AmericanState)	CountriesAndRegions.kif 955-955	Iowa is an instance of american state
(instance Kansas AmericanState)	CountriesAndRegions.kif 960-960	Kansas is an instance of american state
(instance Kentucky AmericanState)	CountriesAndRegions.kif 965-965	Kentucky is an instance of american state
(instance Louisiana AmericanState)	CountriesAndRegions.kif 971-971	Louisiana is an instance of american state
(instance Maine AmericanState)	CountriesAndRegions.kif 976-976	Maine is an instance of american state
(instance Maryland AmericanState)	CountriesAndRegions.kif 981-981	Maryland is an instance of american state
(instance Massachusetts AmericanState)	CountriesAndRegions.kif 988-988	Massachusetts is an instance of american state
(instance Michigan AmericanState)	CountriesAndRegions.kif 996-996	Michigan is an instance of american state
(instance Minnesota AmericanState)	CountriesAndRegions.kif 1002-1002	Minnesota is an instance of american state
(instance Mississippi AmericanState)	CountriesAndRegions.kif 1008-1008	Mississippi is an instance of american state
(instance Missouri AmericanState)	CountriesAndRegions.kif 1014-1014	Missouri is an instance of american state

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

(=> (and (instance ?STATE AmericanState) (not (equal ?STATE California))) (greaterThan (CardinalityFn (ResidentFn California)) (CardinalityFn (ResidentFn ?STATE))))	CountriesAndRegions.kif 897-901	If a geopolitical area is an instance of american state and equal the geopolitical area and california, then the number of instances in the resident of california is greater than the number of instances in the resident of the geopolitical area
(=> (and (instance ?UNIT AreaMeasure) (measure Alaska (MeasureFn ?NUMBER1 ?UNIT)) (measure ?STATE (MeasureFn ?NUMBER2 ?UNIT)) (instance ?STATE AmericanState) (not (equal Alaska ?STATE))) (lessThan ?NUMBER2 ?NUMBER1))	CountriesAndRegions.kif 871-878	If an unit of measure is an instance of area measure and the measure of alaska is a real number the unit of measure(s) and the measure of a physical is another real number the unit of measure(s) and the physical is an instance of american state and equal alaska and the physical, then the other real number is less than the real number
(=> (instance ?STATE AmericanState) (part ?STATE UnitedStates))	CountriesAndRegions.kif 25-27	If an object is an instance of american state, then the object is a part of united states

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

KB Term:			Term intersection

English Word: