No TPTP formula. May not be expressible in strict first order.	Geography.kif 5162-5162	空間的符合 伊朗 and 阿曼灣
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5155-5155	空間的符合 伊朗 and 波斯灣
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 146-146	空間的符合 胡安德諾瓦島 and 印度洋
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 961-961	空間的符合 Kansas and 科羅拉多州
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 963-963	空間的符合 Kansas and Oklahoma
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 962-962	空間的符合 Kansas and 德州
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 968-968	空間的符合 肯塔基 and 伊利諾伊
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 969-969	空間的符合 肯塔基 and Indiana
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 967-967	空間的符合 肯塔基 and 密蘇里州
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 966-966	空間的符合 肯塔基 and 田納西
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 973-973	空間的符合 路易斯安那州 and GulfOfMexico
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 972-972	空間的符合 路易斯安那州 and 德州
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 978-978	空間的符合 Maine and 加拿大
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 977-977	空間的符合 Maine and 新罕布什爾
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 979-979	空間的符合 Maine and 北大西洋
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 982-982	空間的符合 馬里蘭 and 北大西洋
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 983-983	空間的符合 馬里蘭 and 弗吉尼亞州
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 985-985	空間的符合 馬里蘭 and 華盛頓特區美國
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 984-984	空間的符合 馬里蘭 and WestVirginia
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 992-992	空間的符合 馬薩諸塞 and 康涅狄格
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 991-991	空間的符合 馬薩諸塞 and 紐約州
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 990-990	空間的符合 馬薩諸塞 and 北大西洋
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 993-993	空間的符合 馬薩諸塞 and 羅德島
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 148-148	空間的符合 馬約特 and 印度洋
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1294-1294	空間的符合 墨西哥 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