TreeView Knowledge Base Browser - Refugee

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Refugee

Refugee(refugee)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 180-183
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6815-6815
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7713-7713
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 177-177	Refugee is an instance of social role
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 178-178	Refugee is a subattribute of dislocated civilian

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49196-49196
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49195-49195
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49194-49194

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