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 e' uma instancia de Role Social |
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 178-178 |
Refugee e' um sub-atributo de DislocatedCivilian |