No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 180-183 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6815-6815 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7713-7713 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 177-177 |
Refugee est une instance de r�le social |
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 178-178 |
Refugee est un sous-attribut de DislocatedCivilian |