Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - StatelessPerson
StatelessPerson(stateless person)stateless_person, 无国籍人, 無國籍人

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 55057-55057 "无国籍人" is the printable form of stateless person in ChineseLanguage
(termFormat ChineseTraditionalLanguage StatelessPerson "無國籍人") domainEnglishFormat.kif 55056-55056 "無國籍人" is the printable form of stateless person in ChineseTraditionalLanguage
(termFormat EnglishLanguage StatelessPerson "stateless person") domainEnglishFormat.kif 55055-55055 "stateless person" is the printable form of stateless person in english language

antecedent
-------------------------


(=>
    (and
        (holdsDuring ?T1
            (attribute ?P StatelessPerson))
        (instance ?NAT Nation))
    (holdsDuring ?T1
        (not
            (citizen ?P ?NAT))))
MilitaryPersons.kif 195-201


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners