| 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 7710-7712 | |
| (domain CitizenryFn 1 GeopoliticalArea) | Mid-level-ontology.kif 7708-7708 | |
| (instance CitizenryFn UnaryFunction) | Mid-level-ontology.kif 7707-7707 | |
| (range CitizenryFn GroupOfPeople) | Mid-level-ontology.kif 7709-7709 | |
| (subrelation CitizenryFn ResidentFn) | Mid-level-ontology.kif 7706-7706 |
| 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 14895-14895 | |
| (termFormat ChineseTraditionalLanguage CitizenryFn "公民") | domainEnglishFormat.kif 14894-14894 | |
| (termFormat EnglishLanguage CitizenryFn "citizenry") | domainEnglishFormat.kif 14893-14893 |
| antecedent |
|
|
| (=> (and (instance ?AREA GeopoliticalArea) (equal ?CITIZENRY (CardinalityFn (CitizenryFn ?AREA))) (equal ?POPULATION (CardinalityFn (ResidentFn ?AREA)))) (greaterThanOrEqualTo ?POPULATION ?CITIZENRY)) |
Mid-level-ontology.kif 7714-7721 |
| 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 16789-16805 |
|
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