|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 202-202 | 赤道几内亚 是 国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 100-100 | 厄立特里亚 是 国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 299-299 | 爱沙尼亚 是 国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 102-102 | 埃塞俄比亚 是 国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 667-667 | 斐 是 国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 204-204 | 加蓬 是 国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 206-206 | 冈比亚 是 国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 245-245 | 加沙地带 是 国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 208-208 | 加纳 是 国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 445-445 | 格林纳达 是 国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 479-479 | 危地马拉 是 国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 210-210 | 几内亚 是 国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 212-212 | 几内亚比绍 是 国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 507-507 | 圭亚那 是 国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 448-448 | 海地 是 国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 481-481 | 洪都拉斯 是 国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 282-282 | 匈牙利 是 国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 575-575 | 印度 是 国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 611-611 | 印度尼西亚 是 国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 247-247 | 伊朗 是 国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 249-249 | 伊拉克 是 国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 251-251 | 以色列 是 国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 450-450 | 牙买加 是 国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 549-549 | 日本 是 国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 253-253 | 约旦 是 国家 的 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