No TPTP formula. May not be expressible in strict first order.	Geography.kif 4802-4802	空間的符合 埃及 and 紅海
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4804-4804	空間的符合 厄立特里亞 and 紅海
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 140-140	空間的符合 歐羅巴島 and 印度洋
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 45-45	空間的符合 歐洲 and 亞洲
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 926-926	空間的符合 佛羅里達 and 阿拉巴馬
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 927-927	空間的符合 佛羅里達 and GulfOfMexico
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 925-925	空間的符合 佛羅里達 and 北大西洋
No TPTP formula. May not be expressible in strict first order.	Media.kif 2580-2580	空間的符合 加沙地帶 and 以色列
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 933-933	空間的符合 格魯吉亞 and 阿拉巴馬
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 932-932	空間的符合 格魯吉亞 and 佛羅里達
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 931-931	空間的符合 格魯吉亞 and 北大西洋
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 142-142	空間的符合 glorioso島嶼 and 印度洋
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 936-936	空間的符合 夏威夷 and 太平洋
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 144-144	空間的符合 聽過島嶼和麥當勞群島 and 印度洋
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 940-940	空間的符合 Idaho and 加拿大
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 943-943	空間的符合 Idaho and Nevada
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 942-942	空間的符合 Idaho and Oregon
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 944-944	空間的符合 Idaho and 猶他州
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 941-941	空間的符合 Idaho and 華盛頓
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 948-948	空間的符合 伊利諾伊 and Iowa
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 949-949	空間的符合 伊利諾伊 and 密蘇里州
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 953-953	空間的符合 Indiana and 伊利諾伊
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 958-958	空間的符合 Iowa and 密蘇里州
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 957-957	空間的符合 Iowa and Nebraska
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 956-956	空間的符合 Iowa and SouthDakota
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