StatelessPerson - Sigma Knowledge base Browser

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