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 | |
(subAttribute StatelessPerson DislocatedCivilian) | MilitaryPersons.kif 186-186 |
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 |