TreeView Knowledge Base Browser - DislocatedCivilian

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

DislocatedCivilian

Sigma KEE - DislocatedCivilian

DislocatedCivilian

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 20-24
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8453-8453
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9153-9153
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 18-18	DislocatedCivilian e' um sub-atributo de Civilian

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 55-55	DisplacedPerson e' um sub-atributo de DislocatedCivilian
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 114-114	Evacuee e' um sub-atributo de DislocatedCivilian
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 143-143	Expellee e' um sub-atributo de DislocatedCivilian
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 81-81	InternallyDisplacedPerson e' um sub-atributo de DislocatedCivilian
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 170-170	Migrant e' um sub-atributo de DislocatedCivilian
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 178-178	Refugee e' um sub-atributo de DislocatedCivilian
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 186-186	StatelessPerson e' um sub-atributo de DislocatedCivilian
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19872-19872
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19871-19871
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19870-19870

antecedent

No TPTP formula. May not be expressible in strict first order.

MilitaryPersons.kif 26-47

DislocatedCivilian e' um atributo de Entidade Entidade vive em Entidade Entidade e' situado em Area Geografica vale durante Intervalo Temporal Area Geografica e' uma instancia de Area Geografica Intervalo Temporal e' uma instancia de Intervalo Temporal
Intervalo Temporal Entidade-PLACE and Entidade-RES Intervalo Temporal e' uma instancia de Intervalo Temporal Intervalo Temporal acontence antes de Intervalo Temporal Entidade-RES e' uma instancia de Objeto Entidade-PLACE e' uma instancia de Area Geopolitica Entidade-RES e' situado em Entidade-PLACE Area Geografica e' igual a Entidade-PLACE Entidade e' igual a Entidade-RES geographicSubregion Area Geografica and Entidade-PLACE geographicSubregion Entidade-PLACE and Area Geografica Entidade vive em Entidade-RES vale durante Intervalo Temporal

consequent

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1280-1284	Processo e' uma instancia de SupportDC Objeto e' um patient de Processo DislocatedCivilian e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 49-52	Agente Cognitivo e' uma instancia de Humano disapproves Agente Cognitivo and DislocatedCivilian e' um atributo de Agente Cognitivo

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