|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 240-240 | economyType Barbados and LessDevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 577-577 | economyType Belarus and CountryInTransition |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 537-537 | economyType Belgium and AdvancedEconomy |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 149-149 | economyType Belgium and DevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 625-625 | economyType Belize and DevelopingCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 241-241 | economyType Belize and LessDevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 150-150 | economyType Bermuda and DevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 578-578 | economyType BosniaAndHerzegovina and CountryInTransition |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 579-579 | economyType Bulgaria and CountryInTransition |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 626-626 | economyType Burundi and DevelopingCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 242-242 | economyType Burundi and LessDevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 627-627 | economyType Cambodia and DevelopingCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 243-243 | economyType Cambodia and LessDevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 628-628 | economyType Cameroon and DevelopingCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 244-244 | economyType Cameroon and LessDevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 538-538 | economyType Canada and AdvancedEconomy |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 151-151 | economyType Canada and DevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 629-629 | economyType CapeVerde and DevelopingCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 245-245 | economyType CapeVerde and LessDevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 630-630 | economyType CentralAfricanRepublic and DevelopingCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 246-246 | economyType CentralAfricanRepublic and LessDevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 631-631 | economyType Chad and DevelopingCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 247-247 | economyType Chad and LessDevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 632-632 | economyType Chile and DevelopingCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 248-248 | economyType Chile and LessDevelopedCountry |
| 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