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 |
|