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

Formal Language: 



KB Term:  Term intersection
English Word: 

  StatelessPerson

Sigma KEE - StatelessPerson
StatelessPerson(stateless person)

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 Stateless person is an instance of social role
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 186-186 Stateless person is a subattribute of dislocated civilian

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