|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3254-3254 | dateEstablished EuropeanUnion and le jour 7 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3265-3265 | dateEstablished FoodAndAgricultureOrganization and le jour 16 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3335-3335 | dateEstablished GroupOf11 and le jour 22 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3351-3351 | dateEstablished GroupOf24 and le jour 1 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3284-3284 | dateEstablished GroupOf5 and le jour 22 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3291-3291 | dateEstablished GroupOf6 and le jour 22 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3301-3301 | dateEstablished GroupOf7 and le jour 22 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3361-3361 | dateEstablished GroupOf77 and le jour 15 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3367-3367 | dateEstablished GulfCooperationCouncil and le jour 25 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3376-3376 | dateEstablished IndianOceanCommission and le jour 21 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3385-3385 | dateEstablished InterAmericanDevelopmentBank and le jour 8 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3394-3394 | dateEstablished InterGovernmentalAuthorityOnDevelopment and le jour 21 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3407-3407 | dateEstablished InternationalAtomicEnergyAgency and le jour 26 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3414-3414 | dateEstablished InternationalBankForReconstructionAndDevelopment and le jour 22 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3429-3429 | dateEstablished InternationalCivilAviationOrganization and le jour 7 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3437-3437 | dateEstablished InternationalCommitteeOfTheRedCross and le jour 17 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3451-3451 | dateEstablished InternationalCourtOfJustice and le jour 3 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3478-3478 | dateEstablished InternationalCriminalPoliceOrganization and le jour 13 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4214-4214 | dateEstablished InternationalCriminalTribunalForRwanda and le jour 8 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4207-4207 | dateEstablished InternationalCriminalTribunalForTheFormerYugoslavia and le jour 25 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3489-3489 | dateEstablished InternationalDevelopmentAssociation and le jour 26 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3496-3496 | dateEstablished InternationalEnergyAgency and le jour 15 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3508-3508 | dateEstablished InternationalFederationOfRedCrossAndRedCrescentSocieties and le jour 5 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3514-3514 | dateEstablished InternationalFinanceCorporation and le jour 25 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3542-3542 | dateEstablished InternationalLaborOrganization and le jour 28 |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners