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 AmericanState and GeographicPartTypeFn state or province and UnitedStates
(externalImage AmericanState "http://upload.wikimedia.org/wikipedia/commons/ f/ f4/ US_map_-_states_and_capitals.png")	pictureList.kif 1466-1466	equal AmericanState and GeographicPartTypeFn state or province and UnitedStates
(subclass AmericanState StateOrProvince)	CountriesAndRegions.kif 21-21	AmericanState is a subclass of state or province

appearance as argument number 2

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

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 AmericanState and equal the geopolitical area and California, then the number of instances in ResidentFn California is greater than the number of instances in ResidentFn 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 AmericanState 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 AmericanState, then the object is a part of 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

KB Term:			Term intersection

English Word: