|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3053-3053 | abbreviation "CCC" and WorldCustomsOrganization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2934-2934 | abbreviation "CDB" and CaribbeanDevelopmentBank |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3024-3024 | abbreviation "CE" and CouncilOfEurope |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2962-2962 | abbreviation "CEI" and CentralEuropeanInitiative |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3005-3005 | abbreviation "CEMA" and CouncilForMutualEconomicAssistance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3647-3647 | abbreviation "CEMAC" and MonetaryAndEconomicCommunityOfCentralAfrica |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3132-3132 | abbreviation "CEPGL" and EconomicCommunityOfTheGreatLakesCountries |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3237-3237 | abbreviation "CERN" and EuropeanOrganizationForNuclearResearch |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2986-2986 | abbreviation "CIS" and CommonwealthOfIndependentStates |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3235-3235 | abbreviation "CITES" and EndangeredSpeciesConvention |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3006-3006 | abbreviation "CMEA" and CouncilForMutualEconomicAssistance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2992-2992 | abbreviation "COCOM" and CoordinatingCommitteeOnExportControls |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2971-2971 | abbreviation "CP" and ColomboPlan |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2927-2927 | abbreviation "Caricom" and CaribbeanCommunityAndCommonMarket |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3007-3007 | abbreviation "Comecon" and CouncilForMutualEconomicAssistance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2641-2641 | abbreviation "DDT" and DDT |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3059-3059 | abbreviation "EADB" and EastAfricanDevelopmentBank |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3155-3155 | abbreviation "EAPC" and EuroAtlanticPartnershipCouncil |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3164-3164 | abbreviation "EBRD" and EuropeanBankForReconstructionAndDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3175-3175 | abbreviation "EC" and EuropeanCommunity |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3145-3145 | abbreviation "ECO" and EconomicCooperationOrganization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3065-3065 | abbreviation "ECOSOC" and EconomicAndSocialCouncil |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3139-3139 | abbreviation "ECOWAS" and EconomicCommunityOfWestAfricanStates |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3182-3182 | abbreviation "EFTA" and EuropeanFreeTradeAssociation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3188-3188 | abbreviation "EIB" and EuropeanInvestmentBank |
| 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