ResidentFn - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - ResidentFn

ResidentFn

appearance as argument number 1

(documentation ResidentFn EnglishLanguage "(ResidentFn ?AREA) denotes the GroupOfPeople who have their home in ?AREA.")	Mid-level-ontology.kif 9197-9198
(domain ResidentFn 1 GeopoliticalArea)	Mid-level-ontology.kif 9195-9195	The number 1 argument of resident is an instance of geopolitical area
(instance ResidentFn UnaryFunction)	Mid-level-ontology.kif 9194-9194	Resident is an instance of unary function
(range ResidentFn GroupOfPeople)	Mid-level-ontology.kif 9196-9196	The range of resident is an instance of group of people

appearance as argument number 2

(format ChineseLanguage ResidentFn "%1 的 resident ")	domainEnglishFormat.kif 2155-2155
(format ChineseTraditionalLanguage ResidentFn "%1 的 resident ")	domainEnglishFormat.kif 2154-2154
(format EnglishLanguage ResidentFn "the resident of %1")	domainEnglishFormat.kif 2153-2153
(subrelation CitizenryFn ResidentFn)	Mid-level-ontology.kif 9204-9204	Citizenry is a subrelation of resident
(termFormat ChineseLanguage ResidentFn "居民")	domainEnglishFormat.kif 49632-49632	Citizenry is a subrelation of resident
(termFormat ChineseTraditionalLanguage ResidentFn "居民")	domainEnglishFormat.kif 49631-49631	Citizenry is a subrelation of resident
(termFormat EnglishLanguage ResidentFn "resident")	domainEnglishFormat.kif 49630-49630	Citizenry is a subrelation of resident

antecedent

(=> (and (instance ?AREA GeopoliticalArea) (equal ?CITIZENRY (CardinalityFn (CitizenryFn ?AREA))) (equal ?POPULATION (CardinalityFn (ResidentFn ?AREA)))) (greaterThanOrEqualTo ?POPULATION ?CITIZENRY))	Mid-level-ontology.kif 9212-9219	If a geopolitical area is an instance of geopolitical area and equal an integer and the number of instances in the citizenry of the geopolitical area and equal another integer and the number of instances in the resident of the geopolitical area, then the other integer is greater than or equal to the integer
(=> (and (instance ?UW UnconventionalWarfare) (agent ?UW ?AGENT) (not (equal ?AGENT ?POPULACE)) (not (equal ?AGENT (GovernmentFn ?NATION))) (patient ?UW ?POPULACE) (or (member ?POPULACE (ResidentFn ?NATION)) (subCollection ?POPULACE (ResidentFn ?NATION)))) (exists (?CONTEST) (and (instance ?CONTEST Contest) (agent ?CONTEST ?POPULACE) (agent ?CONTEST (GovernmentFn ?NATION)))))	MilitaryProcesses.kif 163-183	If a process is an instance of unconventional warfare and a government is an agent of the process and equal the government and an agent and equal the government and not the government of a geopolitical area and the agent is a patient of the process and the agent is a member of the resident of the geopolitical area or the agent is a proper sub-collection of the resident of the geopolitical area, then there exists another process such that the other process is an instance of contest and the agent is an agent of the other process and the government of the geopolitical area is an agent of the other process
(=> (and (subProposition ExclusiveMaleSuffrage (RegionalLawFn ?AREA)) (attribute ?AGENT Female) (member ?AGENT (ResidentFn ?AREA)) (instance ?ELECTION Election)) (not (capability (VotingFn ?ELECTION) agent ?AGENT)))	Government.kif 1229-1235	If exclusive male suffrage is a sub-proposition of the regional law of a geopolitical area and female is an attribute of an object and the object is a member of the resident of the geopolitical area and an election is an instance of election, then the object is not capable of doing the voting of the election as a agent
(=> (member ?PERSON (ResidentFn ?AREA)) (home ?PERSON ?AREA))	Mid-level-ontology.kif 9200-9202	If a human is a member of the resident of a permanent residence, then the home of the human is the permanent residence

consequent

(=> (and (instance ?CITY AmericanCity) (part ?CITY California) (not (equal ?CITY LosAngelesCalifornia))) (greaterThan (CardinalityFn (ResidentFn LosAngelesCalifornia)) (CardinalityFn (ResidentFn ?CITY))))	CountriesAndRegions.kif 812-817	If a geopolitical area is an instance of american city and the geopolitical area is a part of california and equal the geopolitical area and los angeles california, then the number of instances in the resident of los angeles california is greater than the number of instances in the resident of the geopolitical area
(=> (and (instance ?CITY City) (part ?CITY France)) (lessThanOrEqualTo (CardinalityFn (ResidentFn ?CITY)) (CardinalityFn (ResidentFn ParisFrance))))	CountriesAndRegions.kif 59-65	If a geopolitical area is an instance of city and the geopolitical area is a part of france, then the number of instances in the resident of the geopolitical area is less than or equal to the number of instances in the resident of paris
(=> (and (instance ?STATE AmericanState) (not (equal ?STATE California))) (greaterThan (CardinalityFn (ResidentFn California)) (CardinalityFn (ResidentFn ?STATE))))	CountriesAndRegions.kif 897-901	If a geopolitical area is an instance of american state and equal the geopolitical area and california, then the number of instances in the resident of california is greater than the number of instances in the resident of the geopolitical area
(=> (equal (PerCapitaFn (MeasureFn ?QUANTITY1 ?U) ?AREA) (MeasureFn ?QUANTITY2 ?U)) (exists (?POPULATION) (and (equal ?POPULATION (CardinalityFn (ResidentFn ?AREA))) (equal ?QUANTITY2 (DivisionFn ?QUANTITY1 ?POPULATION)))))	Mid-level-ontology.kif 9229-9242	If equal the per capita 1 of %2 and a real number an unit of measure(s), then there exists an integer such that equal the integer and the number of instances in the resident of a geopolitical area and equal the real number and another real number and the integer
(=> (instance ?CITY AmericanCity) (lessThanOrEqualTo (CardinalityFn (ResidentFn ?CITY)) (CardinalityFn (ResidentFn NewYorkCityUnitedStates))))	CountriesAndRegions.kif 2131-2135	If a geopolitical area is an instance of american city, then the number of instances in the resident of the geopolitical area is less than or equal to the number of instances in the resident of new york city united states

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