|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 633-633 | economyType China and DevelopingCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 249-249 | economyType China and LessDevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 634-634 | economyType Colombia and DevelopingCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 250-250 | economyType Colombia and LessDevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 635-635 | economyType Comoros and DevelopingCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 251-251 | economyType Comoros and LessDevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 637-637 | economyType CostaRica and DevelopingCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 253-253 | economyType CostaRica and LessDevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 638-638 | economyType CoteDIvoire and DevelopingCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 254-254 | economyType CoteDIvoire and LessDevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 580-580 | economyType Croatia and CountryInTransition |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 639-639 | economyType Cyprus and DevelopingCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 255-255 | economyType Cyprus and LessDevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 581-581 | economyType CzechRepublic and CountryInTransition |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 636-636 | economyType DemocraticRepublicOfTheCongo and DevelopingCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 252-252 | economyType DemocraticRepublicOfTheCongo and LessDevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 539-539 | economyType Denmark and AdvancedEconomy |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 152-152 | economyType Denmark and DevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 640-640 | economyType Djibouti and DevelopingCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 256-256 | economyType Djibouti and LessDevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 641-641 | economyType Dominica and DevelopingCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 257-257 | economyType Dominica and LessDevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 642-642 | economyType DominicanRepublic and DevelopingCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 258-258 | economyType DominicanRepublic and LessDevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 643-643 | economyType Ecuador and DevelopingCountry |
| 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