CitizenryFn - Sigma Knowledge base Browser

appearance as argument number 1

(documentation CitizenryFn EnglishLanguage "(CitizenryFn ?AREA) denotes the GroupOfPeople who are legal and permanent residents of the GeopoliticalArea ?AREA.")	Mid-level-ontology.kif 9230-9232
(domain CitizenryFn 1 GeopoliticalArea)	Mid-level-ontology.kif 9228-9228	The number 1 argument of citizenry is an instance of geopolitical area
(instance CitizenryFn UnaryFunction)	Mid-level-ontology.kif 9227-9227	Citizenry is an instance of unary function
(range CitizenryFn GroupOfPeople)	Mid-level-ontology.kif 9229-9229	The range of citizenry is an instance of group of people
(subrelation CitizenryFn ResidentFn)	Mid-level-ontology.kif 9226-9226	Citizenry is a subrelation of resident

appearance as argument number 2

(format ChineseLanguage CitizenryFn "%1 的 citizenry")	domainEnglishFormat.kif 452-452
(format ChineseTraditionalLanguage CitizenryFn "%1 的 citizenry")	domainEnglishFormat.kif 451-451
(format EnglishLanguage CitizenryFn "the citizenry of %1")	domainEnglishFormat.kif 450-450
(termFormat ChineseLanguage CitizenryFn "公民")	domainEnglishFormat.kif 14907-14907
(termFormat ChineseTraditionalLanguage CitizenryFn "公民")	domainEnglishFormat.kif 14906-14906
(termFormat EnglishLanguage CitizenryFn "citizenry")	domainEnglishFormat.kif 14905-14905

antecedent

(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (equal ?CITIZENRY
            (CardinalityFn
                (CitizenryFn ?AREA)))
        (equal ?POPULATION
            (CardinalityFn
                (ResidentFn ?AREA))))
    (greaterThanOrEqualTo ?POPULATION ?CITIZENRY))

Mid-level-ontology.kif 9234-9241

If a geopolitical area is an instance of geopolitical area and an integer is equal to the number of instances in the citizenry of the geopolitical area and another integer is equal to the number of instances in the resident of the geopolitical area,
then the other integer is greater than or equal to the integer

consequent

(=> (and (instance ?I Immigrating) (agent ?I ?A)) (exists (?N1 ?N2) (and (instance ?N1 Nation) (instance ?N2 Nation) (origin ?I ?N1) (destination ?I ?N2) (not (equal ?N1 ?N2)) (member ?A (CitizenryFn ?N1)) (not (member ?A (CitizenryFn ?N2))) (hasPurpose ?I (inhabits ?A ?N2)))))	Mid-level-ontology.kif 18910-18926	If a process is an instance of immigrating and an agent is an agent of the process, then there exist a geopolitical area and another geopolitical area such that the geopolitical area is an instance of nation and the other geopolitical area is an instance of nation and the process originates at the geopolitical area and the process ends up at the other geopolitical area and the geopolitical area is not equal to the other geopolitical area and the agent is a member of the citizenry of the geopolitical area and the agent is not a member of the citizenry of the other geopolitical area and the process has the purpose the agent lives in the other geopolitical area
(=> (equal ?GNP (GrossNationalProductFn ?GPA ?Y)) (exists (?PRODANDSERV) (and (instance ?PRODANDSERV Collection) (monetaryValue ?PRODANDSERV ?GNP) (=> (and (instance ?M Manufacture) (result ?M ?PRODUCT) (agent ?M ?MAKER) (member ?MAKER (CitizenryFn ?GPA)) (finishesDuring (WhenFn ?M) ?Y)) (member ?PRODUCT ?PRODANDSERV)) (=> (and (instance ?SERVICE Process) (attribute ?SERVICE ServiceInEconomics) (agent ?SERVICE ?PROVIDER) (member ?PROVIDER (CitizenryFn ?GPA)) (finishesDuring (WhenFn ?SERVICE) ?Y)) (member ?SERVICE ?PRODANDSERV)))))	Economy.kif 1031-1052	If a currency measure is equal to gross national product of a geopolitical area during a year, then there exists a collection such that the collection is an instance of collection and value of the collection is the currency measure and if a process is an instance of manufacture and a physical is a result of the process and the processAKER is an agent of the process and the processAKER is a member of the citizenry of the geopolitical area and finishes during the time of existence of the process and the year, then the physical is a member of the collection and if an object is an instance of process and service is an attribute of the object and another agent is an agent of the object and the other agent is a member of the citizenry of the geopolitical area and finishes during the time of existence of the object and the year, then the object is a member of the collection
(=> (instance ?GAS GoodsAndServices) (and (instance ?GPA GeopoliticalArea) (=> (and (instance ?M Manufacture) (result ?M ?PRODUCT) (agent ?M ?MAKER) (member ?MAKER (CitizenryFn ?GPA)) (finishesDuring (WhenFn ?M) ?Y) (located ?M ?GPA)) (member ?PRODUCT ?GAS)) (=> (and (instance ?SERVICE Process) (attribute ?SERVICE ServiceInEconomics) (agent ?SERVICE ?PROVIDER) (member ?PROVIDER (CitizenryFn ?GPA)) (finishesDuring (WhenFn ?SERVICE) ?Y) (located ?SERVICE ?GPA)) (member ?SERVICE ?GAS))))	Economy.kif 6992-7013	If a collection is an instance of goods and services, then a geopolitical area is an instance of geopolitical area and if a process is an instance of manufacture and a physical is a result of the process and the processAKER is an agent of the process and the processAKER is a member of the citizenry of the geopolitical area and finishes during the time of existence of the process and a time interval and the process is located at the geopolitical area, then the physical is a member of the collection and if an object is an instance of process and service is an attribute of the object and another agent is an agent of the object and the other agent is a member of the citizenry of the geopolitical area and finishes during the time of existence of the object and the time interval and the object is located at the geopolitical area, then the object is a member of the collection
(=> (member ?CAPITALIST Capitalism) (believes ?CAPITALIST (=> (and (instance ?MEANOFPRODUCTION MeanOfProduction) (attribute ?OBJ ?MEANOFPRODUCTION) (instance ?COUNTRY GeopoliticalArea) (located ?OBJ ?COUNTRY)) (exists (?AA) (and (instance ?AA AutonomousAgent) (element ?OBJ (PropertyFn (?AA))) (not (equal ?AA (CitizenryFn ?COUNTRY))))))))	Economy.kif 905-919	If a cognitive agent is a member of capitalism, then the cognitive agent believes if an entity is an instance of mean of production and the entity is an attribute of another entity and a third entity is an instance of geopolitical area and the other entity is located at the third entity, then there exists a fourth entity such that the fourth entity is an instance of agent and the other entity is an element of belongings of the fourth entity and the fourth entity is not equal to the citizenry of the third entity
(=> (member ?COMMUNIST Communism) (believes ?COMMUNIST (=> (and (instance ?MEANOFPRODUCTION MeanOfProduction) (attribute ?OBJ ?MEANOFPRODUCTION) (instance ?COUNTRY GeopoliticalArea) (located ?OBJ ?COUNTRY)) (element ?OBJ (PropertyFn (CitizenryFn ?COUNTRY))))))	Economy.kif 880-889	If a cognitive agent is a member of communism, then the cognitive agent believes if an entity is an instance of mean of production and the entity is an attribute of another entity and a third entity is an instance of geopolitical area and the other entity is located at the third entity, then the other entity is an element of belongings of the citizenry of the third entity

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: