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	子屬性平民流離失所 and 平民

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 55-55	子屬性流離失所者 and 平民流離失所
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 114-114	子屬性撤離者 and 平民流離失所
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 143-143	子屬性被驅逐 and 平民流離失所
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 81-81	子屬性國內流離失所者 and 平民流離失所
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 170-170	子屬性移民 and 平民流離失所
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 178-178	子屬性難民 and 平民流離失所
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 186-186	子屬性無國籍人 and 平民流離失所
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

持有期間 TimeInterval and attribute entity and 平民流離失所棲息 entity and entity 位於 entity and GeographicArea 例 GeographicArea and GeographicArea 例 TimeInterval and TimeInterval
TimeInterval entity-PLACE and entity-RES 例 TimeInterval and TimeInterval 早期 TimeInterval and TimeInterval 例 entity-RES and Object 例 entity-PLACE and GeopoliticalArea 位於 entity-RES and entity-PLACE 等於 GeographicArea and entity-PLACE 等於 entity and entity-RES GeographicArea 是 entity-PLACE 的 geographic 次要地區 entity-PLACE 是 GeographicArea 的 geographic 次要地區持有期間 TimeInterval and 棲息 entity and entity-RES

consequent

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1280-1284	例 Process and supportDC 患者 Process and Object attribute Object and 平民流離失所
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 49-52	例 CognitiveAgent and Human attribute CognitiveAgent and 平民流離失所是 CognitiveAgent 的 disapproves

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