| appearance as argument number 1 |
|
| (documentation DisplacedPerson EnglishLanguage "A civilian who is involuntarily outside the national boundaries of his or her country. See also evacuee, refugee.") | MilitaryPersons.kif 57-59 | |
| (instance DisplacedPerson SocialRole) | MilitaryPersons.kif 54-54 | Displaced person is an instance of social role |
| (subAttribute DisplacedPerson DislocatedCivilian) | MilitaryPersons.kif 55-55 | Displaced person is a subattribute of dislocated civilian |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage DisplacedPerson "流离失所者") | domainEnglishFormat.kif 19906-19906 | |
| (termFormat ChineseTraditionalLanguage DisplacedPerson "流離失所者") | domainEnglishFormat.kif 19905-19905 | |
| (termFormat EnglishLanguage DisplacedPerson "displaced person") | domainEnglishFormat.kif 19904-19904 |
| antecedent |
|
|
| (=> (holdsDuring ?T1 (and (attribute ?P DisplacedPerson) (inhabits ?P ?RES) (located ?RES ?PLACE) (citizen ?P ?NATION))) (not (partlyLocated ?PLACE ?NATION))) |
MilitaryPersons.kif 70-78 |
|
|
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