No TPTP formula. May not be expressible in strict first order. |
Government.kif 2380-2383 |
|
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 2379-2379 |
ForeignTerroristOrganization est une sous-classe de TerroristOrganization |