No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 255-270 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2727-2727 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2913-2913 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2914-2914 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2915-2915 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 252-252 |
PrisonerOfWar est une instance de r�le social |
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 253-253 |
PrisonerOfWar est un sous-attribut de Prisoner |