|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3146-3146 | dateEstablished EconomicCooperationOrganization and le moi Janvier |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3157-3157 | dateEstablished EuroAtlanticPartnershipCouncil and le jour 8 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3165-3165 | dateEstablished EuropeanBankForReconstructionAndDevelopment and le jour 15 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3176-3176 | dateEstablished EuropeanCommunity and le jour 8 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3183-3183 | dateEstablished EuropeanFreeTradeAssociation and le jour 4 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3189-3189 | dateEstablished EuropeanInvestmentBank and le jour 25 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3196-3196 | dateEstablished EuropeanMonetaryUnion and le jour 7 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3239-3239 | dateEstablished EuropeanOrganizationForNuclearResearch and le jour 1 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3247-3247 | dateEstablished EuropeanSpaceAgency and le jour 31 |
| 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 3272-3272 | dateEstablished FrancZone and l' ann�e 1964 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3323-3323 | dateEstablished GroupOf10 and le moi Octobre |
| 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 3341-3341 | dateEstablished GroupOf15 and le moi Septembre |
| 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 3278-3278 | dateEstablished GroupOf3 and le moi Septembre |
| 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 3307-3307 | dateEstablished GroupOf8 and le moi Octobre |
| 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 |
| 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