|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1019-1019 | Montana est une instance de AmericanState |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1024-1024 | Nebraska est une instance de AmericanState |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1029-1029 | Nevada est une instance de AmericanState |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1033-1033 | NewHampshire est une instance de AmericanState |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1041-1041 | NewJersey est une instance de AmericanState |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1046-1046 | NewMexico est une instance de AmericanState |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1053-1053 | NewYorkState est une instance de AmericanState |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1062-1062 | NorthCarolina est une instance de AmericanState |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1067-1067 | NorthDakota est une instance de AmericanState |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1072-1072 | Ohio est une instance de AmericanState |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1079-1079 | Oklahoma est une instance de AmericanState |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1081-1081 | Oregon est une instance de AmericanState |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1085-1085 | Pennsylvania est une instance de AmericanState |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1091-1091 | RhodeIsland est une instance de AmericanState |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1095-1095 | SouthCarolina est une instance de AmericanState |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1099-1099 | SouthDakota est une instance de AmericanState |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1104-1104 | Tennessee est une instance de AmericanState |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1110-1110 | Texas est une instance de AmericanState |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1118-1118 | Utah est une instance de AmericanState |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1123-1123 | Vermont est une instance de AmericanState |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1130-1130 | Virginia est une instance de AmericanState |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1139-1139 | Washington est une instance de AmericanState |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1144-1144 | WestVirginia est une instance de AmericanState |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1148-1148 | Wisconsin est une instance de AmericanState |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1153-1153 | Wyoming est une instance de AmericanState |
| 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