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 is an instance of social role |
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 178-178 |
Refugee is a subattribute of dislocated civilian |