AmericanCity - Sigma Knowledge base Browser

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 ist eine teilkategorie von City

appearance as argument number 2

(instance AtlantaGeorgia AmericanCity)	CountriesAndRegions.kif 710-710	AtlantaGeorgia ist ein fall von AmericanCity %n{nicht}
(instance BaltimoreMaryland AmericanCity)	CountriesAndRegions.kif 713-713	BaltimoreMaryland ist ein fall von AmericanCity %n{nicht}
(instance BostonMassachusetts AmericanCity)	CountriesAndRegions.kif 723-723	BostonMassachusetts ist ein fall von AmericanCity %n{nicht}
(instance ChicagoUnitedStates AmericanCity)	CountriesAndRegions.kif 1610-1610	ChicagoUnitedStates ist ein fall von AmericanCity %n{nicht}
(instance ClevelandOhio AmericanCity)	CountriesAndRegions.kif 853-853	ClevelandOhio ist ein fall von AmericanCity %n{nicht}
(instance ColumbusOhio AmericanCity)	CountriesAndRegions.kif 857-857	ColumbusOhio ist ein fall von AmericanCity %n{nicht}
(instance DallasTexas AmericanCity)	CountriesAndRegions.kif 850-850	DallasTexas ist ein fall von AmericanCity %n{nicht}
(instance DenverColorado AmericanCity)	CountriesAndRegions.kif 837-837	DenverColorado ist ein fall von AmericanCity %n{nicht}
(instance DetroitMichigan AmericanCity)	CountriesAndRegions.kif 840-840	DetroitMichigan ist ein fall von AmericanCity %n{nicht}
(instance FargoNorthDakota AmericanCity)	CountriesAndRegions.kif 834-834	FargoNorthDakota ist ein fall von AmericanCity %n{nicht}
(instance HonoluluHawaii AmericanCity)	CountriesAndRegions.kif 824-824	HonoluluHawaii ist ein fall von AmericanCity %n{nicht}
(instance HoustonTexas AmericanCity)	CountriesAndRegions.kif 827-827	HoustonTexas ist ein fall von AmericanCity %n{nicht}
(instance KansasCityMissouri AmericanCity)	CountriesAndRegions.kif 726-726	KansasCityMissouri ist ein fall von AmericanCity %n{nicht}
(instance LosAngelesCalifornia AmericanCity)	CountriesAndRegions.kif 809-809	LosAngelesCalifornia ist ein fall von AmericanCity %n{nicht}
(instance ManchesterNewHampshire AmericanCity)	CountriesAndRegions.kif 730-730	ManchesterNewHampshire ist ein fall von AmericanCity %n{nicht}
(instance MemphisTennessee AmericanCity)	CountriesAndRegions.kif 729-729	MemphisTennessee ist ein fall von AmericanCity %n{nicht}
(instance MinneapolisMinnesota AmericanCity)	CountriesAndRegions.kif 736-736	MinneapolisMinnesota ist ein fall von AmericanCity %n{nicht}
(instance NashvilleTennessee AmericanCity)	CountriesAndRegions.kif 752-752	NashvilleTennessee ist ein fall von AmericanCity %n{nicht}
(instance NewYorkCityUnitedStates AmericanCity)	CountriesAndRegions.kif 2128-2128	NewYorkCityUnitedStates ist ein fall von AmericanCity %n{nicht}
(instance PhiladelphiaPennsylvania AmericanCity)	CountriesAndRegions.kif 762-762	PhiladelphiaPennsylvania ist ein fall von AmericanCity %n{nicht}
(instance PittsburghPennsylvania AmericanCity)	CountriesAndRegions.kif 765-765	PittsburghPennsylvania ist ein fall von AmericanCity %n{nicht}
(instance ProvidenceRhodeIsland AmericanCity)	CountriesAndRegions.kif 770-770	ProvidenceRhodeIsland ist ein fall von AmericanCity %n{nicht}
(instance RichmondVirginia AmericanCity)	CountriesAndRegions.kif 774-774	RichmondVirginia ist ein fall von AmericanCity %n{nicht}
(instance SaintLouisMissouri AmericanCity)	CountriesAndRegions.kif 782-782	SaintLouisMissouri ist ein fall von AmericanCity %n{nicht}
(instance SaintPaulMinnesota AmericanCity)	CountriesAndRegions.kif 785-785	SaintPaulMinnesota ist ein fall von AmericanCity %n{nicht}

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	Wenn GeopoliticalArea ist ein fall von AmericanCity %n{nicht} und GeopoliticalArea ist ein teil von California %n{nicht} und GeopoliticalArea ist gleich LosAngelesCalifornia nicht, dann die Zahl Faellen in ResidentFn LosAngelesCalifornia ist groesserAls die Zahl Faellen in ResidentFn ** GeopoliticalArea %n{nicht}
(=> (instance ?CITY AmericanCity) (lessThanOrEqualTo (CardinalityFn (ResidentFn ?CITY)) (CardinalityFn (ResidentFn NewYorkCityUnitedStates))))	CountriesAndRegions.kif 2131-2135	Wenn GeopoliticalArea ist ein fall von AmericanCity %n{nicht}, dann die Zahl Faellen in ResidentFn ** GeopoliticalArea ist kleinerAlsOderGleich die Zahl Faellen in ResidentFn NewYorkCityUnitedStates %n{nicht}
(=> (instance ?CITY AmericanCity) (part ?CITY UnitedStates))	CountriesAndRegions.kif 39-41	Wenn Object ist ein fall von AmericanCity %n{nicht}, dann ** Object ist ein teil von UnitedStates %n{nicht}

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: