|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 126-126 | 部分 摩洛哥 and 非洲 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 753-753 | 部分 納什維爾田納西州 and 田納西 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 30-30 | 部分 新英格蘭 and 美國 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1034-1034 | 部分 新罕布什爾 and 新英格蘭 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 55-55 | 部分 巴黎 and 法國 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 763-763 | 部分 費城賓夕法尼亞州 and 賓夕法尼亞 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 766-766 | 部分 匹茲堡賓夕法尼亞州 and 賓夕法尼亞 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1160-1160 | 部分 波多黎各 and 美國 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4242-4242 | 部分 紅河 and 密西西比河 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4243-4243 | 部分 紅河 and 美國 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1092-1092 | 部分 羅德島 and 新英格蘭 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1328-1328 | 部分 羅茲 and 希臘 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 783-783 | 部分 聖路易斯密蘇里州 and 密蘇里州 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 791-791 | 部分 舊金山加利福尼亞州 and 加州 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 795-795 | 部分 薩凡納格魯吉亞 and 格魯吉亞 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 799-799 | 部分 蘇格蘭 and 英國 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2592-2592 | 部分 SvalbardAndJanMayenIsland and 挪威 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4816-4816 | 部分 美國眾議院 and 美國國會 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4823-4823 | 部分 美國參議院 and 美國國會 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1124-1124 | 部分 佛蒙特 and 新英格蘭 |
|
|
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