No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 55-55 |
DisplacedPerson est un sous-attribut de DislocatedCivilian |
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 114-114 |
Evacuee est un sous-attribut de DislocatedCivilian |
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 143-143 |
Expellee est un sous-attribut de DislocatedCivilian |
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 81-81 |
InternallyDisplacedPerson est un sous-attribut de DislocatedCivilian |
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 170-170 |
Migrant est un sous-attribut de DislocatedCivilian |
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 178-178 |
Refugee est un sous-attribut de DislocatedCivilian |
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 186-186 |
StatelessPerson est un sous-attribut 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 |
|