No TPTP formula. May not be expressible in strict first order.	Geography.kif 5162-5162	Iran meets gulf of oman
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5155-5155	Iran meets persian gulf
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 146-146	Juan de nova island meets indian ocean
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 961-961	Kansas meets colorado
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 963-963	Kansas meets Oklahoma
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 962-962	Kansas meets texas
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 968-968	Kentucky meets illinois
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 969-969	Kentucky meets Indiana
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 967-967	Kentucky meets missouri
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 966-966	Kentucky meets tennessee
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 973-973	Louisiana meets Gulf of mexico
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 972-972	Louisiana meets texas
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 978-978	Maine meets canada
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 977-977	Maine meets new hampshire
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 979-979	Maine meets north atlantic ocean
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 982-982	Maryland meets north atlantic ocean
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 983-983	Maryland meets virginia
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 985-985	Maryland meets washingtonDC united states
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 984-984	Maryland meets West virginia
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 992-992	Massachusetts meets connecticut
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 991-991	Massachusetts meets new york state
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 990-990	Massachusetts meets north atlantic ocean
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 993-993	Massachusetts meets rhode island
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 148-148	Mayotte meets indian ocean
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1294-1294	Mexico meets united states
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