No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 299-299 |
CivilianInternee e' um sub-atributo de Prisoner |
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 253-253 |
PrisonerOfWar e' um sub-atributo de Prisoner |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47426-47426 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47425-47425 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47424-47424 |
|