|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3195-3195 | abbreviation "EMU" and EuropeanMonetaryUnion |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3246-3246 | abbreviation "ESA" and EuropeanSpaceAgency |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3253-3253 | abbreviation "EU" and EuropeanUnion |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3264-3264 | abbreviation "FAO" and FoodAndAgricultureOrganization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3271-3271 | abbreviation "FZ" and FrancZone |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3321-3321 | abbreviation "G-10" and GroupOf10 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3334-3334 | abbreviation "G-11" and GroupOf11 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3340-3340 | abbreviation "G-15" and GroupOf15 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3350-3350 | abbreviation "G-24" and GroupOf24 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3277-3277 | abbreviation "G-3" and GroupOf3 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3283-3283 | abbreviation "G-5" and GroupOf5 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3289-3289 | abbreviation "G-6" and GroupOf6 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3296-3296 | abbreviation "G-7" and GroupOf7 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3360-3360 | abbreviation "G-77" and GroupOf77 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3306-3306 | abbreviation "G-8" and GroupOf8 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3316-3316 | abbreviation "G-9" and GroupOf9 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3366-3366 | abbreviation "GCC" and GulfCooperationCouncil |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 840-840 | abbreviation "GUI" and GraphicalUserInterface |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3382-3382 | abbreviation "IADB" and InterAmericanDevelopmentBank |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3406-3406 | abbreviation "IAEA" and InternationalAtomicEnergyAgency |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3413-3413 | abbreviation "IBRD" and InternationalBankForReconstructionAndDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3428-3428 | abbreviation "ICAO" and InternationalCivilAviationOrganization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3420-3420 | abbreviation "ICC" and InternationalChamberOfCommerce |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3442-3442 | abbreviation "ICFTU" and InternationalConfederationOfFreeTradeUnions |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3449-3449 | abbreviation "ICJ" and InternationalCourtOfJustice |
| 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