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 | AmericanCity は 都市 の subclass では %n |
appearance as argument number 2 |
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 |
|