|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 126-126 | 摩洛哥 是 非洲 的 part |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 753-753 | 纳什维尔田纳西州 是 田纳西 的 part |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 30-30 | 新英格兰 是 美国 的 part |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1034-1034 | 新罕布什尔 是 新英格兰 的 part |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 55-55 | 巴黎 是 法国 的 part |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 763-763 | 费城宾夕法尼亚州 是 宾夕法尼亚 的 part |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 766-766 | 匹兹堡宾夕法尼亚州 是 宾夕法尼亚 的 part |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1160-1160 | 波多黎各 是 美国 的 part |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4242-4242 | 红河 是 密西西比河 的 part |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4243-4243 | 红河 是 美国 的 part |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1092-1092 | 罗德岛 是 新英格兰 的 part |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1328-1328 | 罗兹 是 希腊 的 part |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 783-783 | 圣路易斯密苏里州 是 密苏里州 的 part |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 791-791 | 旧金山加利福尼亚州 是 加州 的 part |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 795-795 | 萨凡纳格鲁吉亚 是 格鲁吉亚 的 part |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 799-799 | 苏格兰 是 英国 的 part |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2592-2592 | SvalbardAndJanMayenIsland 是 挪威 的 part |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4816-4816 | 美国众议院 是 美国国会 的 part |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4823-4823 | 美国参议院 是 美国国会 的 part |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1124-1124 | 佛蒙特 是 新英格兰 的 part |
|
|
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