|
|
   AmericanCity
|
|
|
| appearance as argument number 1 |
|
|
| (documentation AmericanCity EnglishLanguage "The class of cities that are in the UnitedStates.") | CountriesAndRegions.kif 36-37 | |
| (externalImage AmericanCity "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5c/ DowntownLosAngeles.jpg") | pictureList.kif 10388-10388 | |
| (externalImage AmericanCity "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6d/ Chicago3_SvG.jpg") | pictureList.kif 10387-10387 | |
| (externalImage AmericanCity "http://upload.wikimedia.org/wikipedia/commons/ 9/ 92/ Hollywood_boulevard_from_kodak_theatre.jpg") | pictureList.kif 10389-10389 | |
| (externalImage AmericanCity "http://upload.wikimedia.org/wikipedia/commons/ c/ cc/ Painted_Ladies.jpg") | pictureList.kif 10386-10386 | |
| (externalImage AmericanCity "http://upload.wikimedia.org/wikipedia/commons/ f/ f3/ Panorama_clip3.jpg") | pictureList.kif 10385-10385 | |
| (subclass AmericanCity City) | CountriesAndRegions.kif 35-35 |
| appearance as argument number 2 |
|
|
| (instance AtlantaGeorgia AmericanCity) | CountriesAndRegions.kif 710-710 | |
| (instance BaltimoreMaryland AmericanCity) | CountriesAndRegions.kif 713-713 | |
| (instance BostonMassachusetts AmericanCity) | CountriesAndRegions.kif 723-723 | |
| (instance ChicagoUnitedStates AmericanCity) | CountriesAndRegions.kif 1610-1610 | |
| (instance ClevelandOhio AmericanCity) | CountriesAndRegions.kif 853-853 | |
| (instance ColumbusOhio AmericanCity) | CountriesAndRegions.kif 857-857 | |
| (instance DallasTexas AmericanCity) | CountriesAndRegions.kif 850-850 | |
| (instance DenverColorado AmericanCity) | CountriesAndRegions.kif 837-837 | |
| (instance DetroitMichigan AmericanCity) | CountriesAndRegions.kif 840-840 | |
| (instance FargoNorthDakota AmericanCity) | CountriesAndRegions.kif 834-834 | |
| (instance HonoluluHawaii AmericanCity) | CountriesAndRegions.kif 824-824 | |
| (instance HoustonTexas AmericanCity) | CountriesAndRegions.kif 827-827 | |
| (instance KansasCityMissouri AmericanCity) | CountriesAndRegions.kif 726-726 | |
| (instance LosAngelesCalifornia AmericanCity) | CountriesAndRegions.kif 809-809 | |
| (instance ManchesterNewHampshire AmericanCity) | CountriesAndRegions.kif 730-730 | |
| (instance MemphisTennessee AmericanCity) | CountriesAndRegions.kif 729-729 | |
| (instance MinneapolisMinnesota AmericanCity) | CountriesAndRegions.kif 736-736 | |
| (instance NashvilleTennessee AmericanCity) | CountriesAndRegions.kif 752-752 | |
| (instance NewYorkCityUnitedStates AmericanCity) | CountriesAndRegions.kif 2128-2128 | |
| (instance PhiladelphiaPennsylvania AmericanCity) | CountriesAndRegions.kif 762-762 | |
| (instance PittsburghPennsylvania AmericanCity) | CountriesAndRegions.kif 765-765 | |
| (instance ProvidenceRhodeIsland AmericanCity) | CountriesAndRegions.kif 770-770 | |
| (instance RichmondVirginia AmericanCity) | CountriesAndRegions.kif 774-774 | |
| (instance SaintLouisMissouri AmericanCity) | CountriesAndRegions.kif 782-782 | |
| (instance SaintPaulMinnesota AmericanCity) | CountriesAndRegions.kif 785-785 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| antecedent |
|
|
| (=> (and (instance ?CITY AmericanCity) (part ?CITY California) (not (equal ?CITY LosAngelesCalifornia))) (greaterThan (CardinalityFn (ResidentFn LosAngelesCalifornia)) (CardinalityFn (ResidentFn ?CITY)))) |
CountriesAndRegions.kif 812-817 | |
| (=> (instance ?CITY AmericanCity) (lessThanOrEqualTo (CardinalityFn (ResidentFn ?CITY)) (CardinalityFn (ResidentFn NewYorkCityUnitedStates)))) |
CountriesAndRegions.kif 2131-2135 | |
| (=> (instance ?CITY AmericanCity) (part ?CITY UnitedStates)) |
CountriesAndRegions.kif 39-41 |
|
|
|
