No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1019-1019	例 Montana and 美國國家
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1024-1024	例 Nebraska and 美國國家
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1029-1029	例 Nevada and 美國國家
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1033-1033	例 新罕布什爾 and 美國國家
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1041-1041	例 新澤西州美國 and 美國國家
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1046-1046	例 新墨西哥 and 美國國家
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1053-1053	例 紐約州 and 美國國家
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1062-1062	例 北卡羅來納 and 美國國家
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1067-1067	例 北達科他州 and 美國國家
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1072-1072	例 俄亥俄州 and 美國國家
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1079-1079	例 Oklahoma and 美國國家
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1081-1081	例 Oregon and 美國國家
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1085-1085	例 賓夕法尼亞 and 美國國家
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1091-1091	例 羅德島 and 美國國家
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1095-1095	例 SouthCarolina and 美國國家
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1099-1099	例 SouthDakota and 美國國家
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1104-1104	例 田納西 and 美國國家
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1110-1110	例 德州 and 美國國家
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1118-1118	例 猶他州 and 美國國家
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1123-1123	例 佛蒙特 and 美國國家
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1130-1130	例 弗吉尼亞州 and 美國國家
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1139-1139	例 華盛頓 and 美國國家
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1144-1144	例 WestVirginia and 美國國家
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1148-1148	例 Wisconsin and 美國國家
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1153-1153	例 懷俄明 and 美國國家
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