| Immigrating | | aliyah, immigrating, immigration, in-migration |
| appearance as argument number 1 |
|
|
| (documentation Immigrating EnglishLanguage "Any Translocation by a Human from one Nation to another Nation where the person is not a citizen for the purpose of taking up residence.") | Mid-level-ontology.kif 14908-14910 | |
| (subclass Immigrating Translocation) | Mid-level-ontology.kif 14907-14907 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Immigrating "immigrating") | domainEnglishFormat.kif 5313-5313 |
| antecedent |
|
|
| (=> (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 14912-14928 | |
| (=> (and (instance ?I Immigrating) (agent ?I ?A)) (instance ?A Human)) |
Mid-level-ontology.kif 14930-14934 |
|
|
|