AmericanState
|
|
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 6976-6976 | AmericanState ist gleich GeographicPartTypeFn StateOrProvince and UnitedStates %n{nicht} |
(externalImage AmericanState "http://upload.wikimedia.org/wikipedia/commons/ f/ f4/ US_map_-_states_and_capitals.png") | pictureList.kif 1466-1466 | |
(subclass AmericanState StateOrProvince) | CountriesAndRegions.kif 21-21 | AmericanState ist eine teilkategorie von StateOrProvince |
appearance as argument number 2 |
(instance Alabama AmericanState) | CountriesAndRegions.kif 865-865 | Alabama ist ein fall von AmericanState %n{nicht} |
(instance Alaska AmericanState) | CountriesAndRegions.kif 869-869 | Alaska ist ein fall von AmericanState %n{nicht} |
(instance Arizona AmericanState) | CountriesAndRegions.kif 883-883 | Arizona ist ein fall von AmericanState %n{nicht} |
(instance Arkansas AmericanState) | CountriesAndRegions.kif 889-889 | Arkansas ist ein fall von AmericanState %n{nicht} |
(instance California AmericanState) | CountriesAndRegions.kif 895-895 | California ist ein fall von AmericanState %n{nicht} |
(instance Colorado AmericanState) | CountriesAndRegions.kif 908-908 | Colorado ist ein fall von AmericanState %n{nicht} |
(instance Connecticut AmericanState) | CountriesAndRegions.kif 914-914 | Connecticut ist ein fall von AmericanState %n{nicht} |
(instance Delaware AmericanState) | CountriesAndRegions.kif 918-918 | Delaware ist ein fall von AmericanState %n{nicht} |
(instance FloridaUnitedStates AmericanState) | CountriesAndRegions.kif 924-924 | FloridaUnitedStates ist ein fall von AmericanState %n{nicht} |
(instance Georgia AmericanState) | CountriesAndRegions.kif 930-930 | Georgia ist ein fall von AmericanState %n{nicht} |
(instance Hawaii AmericanState) | CountriesAndRegions.kif 935-935 | Hawaii ist ein fall von AmericanState %n{nicht} |
(instance Idaho AmericanState) | CountriesAndRegions.kif 939-939 | Idaho ist ein fall von AmericanState %n{nicht} |
(instance Illinois AmericanState) | CountriesAndRegions.kif 947-947 | Illinois ist ein fall von AmericanState %n{nicht} |
(instance Indiana AmericanState) | CountriesAndRegions.kif 952-952 | Indiana ist ein fall von AmericanState %n{nicht} |
(instance Iowa AmericanState) | CountriesAndRegions.kif 955-955 | Iowa ist ein fall von AmericanState %n{nicht} |
(instance Kansas AmericanState) | CountriesAndRegions.kif 960-960 | Kansas ist ein fall von AmericanState %n{nicht} |
(instance Kentucky AmericanState) | CountriesAndRegions.kif 965-965 | Kentucky ist ein fall von AmericanState %n{nicht} |
(instance Louisiana AmericanState) | CountriesAndRegions.kif 971-971 | Louisiana ist ein fall von AmericanState %n{nicht} |
(instance Maine AmericanState) | CountriesAndRegions.kif 976-976 | Maine ist ein fall von AmericanState %n{nicht} |
(instance Maryland AmericanState) | CountriesAndRegions.kif 981-981 | Maryland ist ein fall von AmericanState %n{nicht} |
(instance Massachusetts AmericanState) | CountriesAndRegions.kif 988-988 | Massachusetts ist ein fall von AmericanState %n{nicht} |
(instance Michigan AmericanState) | CountriesAndRegions.kif 996-996 | Michigan ist ein fall von AmericanState %n{nicht} |
(instance Minnesota AmericanState) | CountriesAndRegions.kif 1002-1002 | Minnesota ist ein fall von AmericanState %n{nicht} |
(instance Mississippi AmericanState) | CountriesAndRegions.kif 1008-1008 | Mississippi ist ein fall von AmericanState %n{nicht} |
(instance Missouri AmericanState) | CountriesAndRegions.kif 1014-1014 | Missouri ist ein fall von AmericanState %n{nicht} |
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 |
|
(=> (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 |
|
(=> (instance ?STATE AmericanState) (part ?STATE UnitedStates)) |
CountriesAndRegions.kif 25-27 |
|