DislocatedCivilian(dislocated civilian) |
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 | Dislocated civilian is a subattribute of civilian |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 55-55 | Displaced person is a subattribute of dislocated civilian |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 114-114 | Evacuee is a subattribute of dislocated civilian |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 143-143 | Expellee is a subattribute of dislocated civilian |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 81-81 | Internally displaced person is a subattribute of dislocated civilian |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 170-170 | Migrant is a subattribute of dislocated civilian |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 178-178 | Refugee is a subattribute of dislocated civilian |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 186-186 | Stateless person is a subattribute of dislocated civilian |
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 |
consequent |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1280-1284 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 49-52 |
|