| 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 | 美国国家 equal 州或省 所有的 instances 在 美国 |
| (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 | 美国国家 是 州或省 的 subclass |
| appearance as argument number 2 |
|
|
| 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 |
|
|
|