|
|
   ForeignTerroristOrganization
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2344-2347 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6555-6555 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6028-6028 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6554-6554 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2343-2343 | ForeignTerroristOrganization e' uma sub-classe de TerroristOrganization |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24668-24668 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24667-24667 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24666-24666 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2357-2363 |
|
|
|
