InternallyDisplacedPerson - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - InternallyDisplacedPerson

InternallyDisplacedPerson(internally displaced person)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 83-85
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6633-6633
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 80-80	Internally displaced person is an instance of social role
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 81-81	Internally displaced 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 30394-30394
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30393-30393
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30392-30392

antecedent

No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 101-111	If internally displaced person is an attribute of an entity holds during a time interval and the time interval is an instance of time interval, then there exists another entity such that another time interval happens earlier than the time interval and internally displaced person is an attribute of the entity holds during the time interval is a causes proposition of the entity fears the other entity holds during the other time interval
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 92-99	If internally displaced person is an attribute of an entity and the entity lives in another entity and the other entity is located at the entityLACE and the entity is a citizen of an object holds during a time position, then the entityLACE is partly located in the object

consequent

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

MilitaryPersons.kif 101-111

If internally displaced person is an attribute of an entity holds during a time interval and the time interval is an instance of time interval,
then there exists another entity such that another time interval happens earlier than the time interval and internally displaced person is an attribute of the entity holds during the time interval is a causes proposition of the entity fears the other entity holds during the other time interval

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

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