|
|
  StatelessPerson
|
|
|
| appearance as argument number 1 |
|
|
| (documentation StatelessPerson EnglishLanguage "Civilian who has been denationalized or whose country of origin cannot be determined or who cannot establish a right to the nationality claimed. See also dislocated civilian, displaced person, evacuee, expellee, refugee.") | MilitaryPersons.kif 188-191 | |
| (instance StatelessPerson SocialRole) | MilitaryPersons.kif 185-185 | Stateless person is an instance of social role |
| (subAttribute StatelessPerson DislocatedCivilian) | MilitaryPersons.kif 186-186 | Stateless person is a subattribute of dislocated civilian |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage StatelessPerson "无国籍人") | domainEnglishFormat.kif 55118-55118 | |
| (termFormat ChineseTraditionalLanguage StatelessPerson "無國籍人") | domainEnglishFormat.kif 55117-55117 | |
| (termFormat EnglishLanguage StatelessPerson "stateless person") | domainEnglishFormat.kif 55116-55116 |
| antecedent |
|
|
| (=> (and (holdsDuring ?T1 (attribute ?P StatelessPerson)) (instance ?NAT Nation)) (holdsDuring ?T1 (not (citizen ?P ?NAT)))) |
MilitaryPersons.kif 195-201 |
|
|
|
|