Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Immigrating
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Immigrating Translocation) | Mid-level-ontology.kif 19186-19186 | Immigrating is a subclass of translocation |
| (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 19187-19189 | Immigrating is a subclass of translocation |
| appearance as argument number 2 |
|
|
| 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 19191-19207 | If X is an instance of immigrating and Y is an agent of X, then All of the following hold: (1) there exist Z (2) W such that Z is an instance of nation (3) W is an instance of nation (4) X originates at Z (5) X ends up at W (6) equal Z (7) W (8) Y is a member of the citizenry of Z (9) Y is not a member of the citizenry of W (10) X has the purpose Y lives in W |
| (=> (and (instance ?I Immigrating) (agent ?I ?A)) (instance ?A Human)) |
Mid-level-ontology.kif 19209-19213 | If X is an instance of immigrating and Y is an agent of X, then Y is an instance of human |
|