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	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 55156-55156
(termFormat ChineseTraditionalLanguage StatelessPerson "無國籍人")	domainEnglishFormat.kif 55155-55155
(termFormat EnglishLanguage StatelessPerson "stateless person")	domainEnglishFormat.kif 55154-55154

antecedent

(=>
    (and
        (holdsDuring ?T1
            (attribute ?P StatelessPerson))
        (instance ?NAT Nation))
    (holdsDuring ?T1
        (not
            (citizen ?P ?NAT))))

MilitaryPersons.kif 195-201