| 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 9208-9210 | |
| (domain CitizenryFn 1 GeopoliticalArea) | Mid-level-ontology.kif 9206-9206 | |
| (instance CitizenryFn UnaryFunction) | Mid-level-ontology.kif 9205-9205 | |
| (range CitizenryFn GroupOfPeople) | Mid-level-ontology.kif 9207-9207 | |
| (subrelation CitizenryFn ResidentFn) | Mid-level-ontology.kif 9204-9204 |
| 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 14901-14901 | |
| (termFormat ChineseTraditionalLanguage CitizenryFn "公民") | domainEnglishFormat.kif 14900-14900 | |
| (termFormat EnglishLanguage CitizenryFn "citizenry") | domainEnglishFormat.kif 14899-14899 |
| antecedent |
|
|
| (=> (and (instance ?AREA GeopoliticalArea) (equal ?CITIZENRY (CardinalityFn (CitizenryFn ?AREA))) (equal ?POPULATION (CardinalityFn (ResidentFn ?AREA)))) (greaterThanOrEqualTo ?POPULATION ?CITIZENRY)) |
Mid-level-ontology.kif 9212-9219 |
| 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 18903-18919 | |
| (=> (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 | |
| (=> (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 6905-6926 | |
| (=> (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 | |
| (=> (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 |
|
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