|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3045-3045 | currencyType Cambodia and CambodianRiel |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3049-3049 | currencyType Cameroon and CameroonFranc |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2890-2890 | currencyType Canada and CanadianDollar |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3053-3053 | currencyType CapeVerde and CapeVerdeEscudo |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3057-3057 | currencyType CaymanIslands and CaymanIslandsDollar |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3061-3061 | currencyType CentralAfricanRepublic and CentralAfricanRepublicFranc |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3065-3065 | currencyType Chad and ChadianFranc |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3069-3069 | currencyType Chile and ChileanPeso |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3073-3073 | currencyType China and ChineseYuan |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3077-3077 | currencyType Colombia and ColombianPeso |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3085-3085 | currencyType CostaRica and CostaRicanColon |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3233-3233 | currencyType CoteDIvoire and IvoryCoastFranc |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3089-3089 | currencyType Cuba and CubanPeso |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3093-3093 | currencyType Cyprus and EuroDollar |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3097-3097 | currencyType CzechRepublic and CzechKoruna |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3081-3081 | currencyType DemocraticRepublicOfTheCongo and CongoFranc |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3589-3589 | currencyType DemocraticRepublicOfTheCongo and ZaireseZaire |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3105-3105 | currencyType Djibouti and DjiboutiFranc |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3109-3109 | currencyType Dominica and DominicanDollar |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3113-3113 | currencyType Dominica and DominicanPeso |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3121-3121 | currencyType Ecuador and EcuadoranSucre |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3125-3125 | currencyType Egypt and EgyptianPound |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3129-3129 | currencyType ElSalvador and ElSalvadoranColon |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3133-3133 | currencyType Estonia and EuroDollar |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3137-3137 | currencyType Ethiopia and EthiopianBirr |
| 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