|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1019-1019 | Montana 是 美国国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1024-1024 | Nebraska 是 美国国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1029-1029 | Nevada 是 美国国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1033-1033 | 新罕布什尔 是 美国国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1041-1041 | 新泽西州美国 是 美国国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1046-1046 | 新墨西哥 是 美国国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1053-1053 | 纽约州 是 美国国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1062-1062 | 北卡罗来纳 是 美国国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1067-1067 | 北达科他州 是 美国国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1072-1072 | 俄亥俄州 是 美国国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1079-1079 | Oklahoma 是 美国国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1081-1081 | Oregon 是 美国国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1085-1085 | 宾夕法尼亚 是 美国国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1091-1091 | 罗德岛 是 美国国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1095-1095 | SouthCarolina 是 美国国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1099-1099 | SouthDakota 是 美国国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1104-1104 | 田纳西 是 美国国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1110-1110 | 德州 是 美国国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1118-1118 | 犹他州 是 美国国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1123-1123 | 佛蒙特 是 美国国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1130-1130 | 弗吉尼亚州 是 美国国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1139-1139 | 华盛顿 是 美国国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1144-1144 | WestVirginia 是 美国国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1148-1148 | Wisconsin 是 美国国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1153-1153 | 怀俄明 是 美国国家 的 instance |
| 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