|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 169-169 | economyType Netherlands and DevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 170-170 | economyType NewZealand and DevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 171-171 | economyType Norway and DevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 172-172 | economyType Portugal and DevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 173-173 | economyType SanMarino and DevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 174-174 | economyType SouthAfrica and DevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 175-175 | economyType Spain and DevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 176-176 | economyType Sweden and DevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 177-177 | economyType Switzerland and DevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 178-178 | economyType Turkey and DevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 179-179 | economyType UnitedKingdom and DevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 180-180 | economyType UnitedStates and DevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 127-127 | formerName "First World" and DevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 129-129 | DevelopedCountry se chama nome "industrial country" |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 187-187 | FormerSovietOrEasternEuropeanCountry e' um atributo sucessor immediato de DevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19308-19308 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19307-19307 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19306-19306 |
|
|
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