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

Formal Language: 



KB Term:  Term intersection
English Word: 

  StatelessPerson

 Sigma KEE - StatelessPerson
StatelessPerson(无国籍人)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 188-191
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 185-185 无国籍人 是 身分 的 instance
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 186-186 无国籍人 是 平民流离失所 的 subAttribute

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55116-55116
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55115-55115
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55114-55114

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


No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 195-201


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners