|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5162-5162 | Iran encontra GulfOfOman |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5155-5155 | Iran encontra PersianGulf |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 146-146 | JuanDeNovaIsland encontra IndianOcean |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 961-961 | Kansas encontra Colorado |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 963-963 | Kansas encontra Oklahoma |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 962-962 | Kansas encontra Texas |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 968-968 | Kentucky encontra Illinois |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 969-969 | Kentucky encontra Indiana |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 967-967 | Kentucky encontra Missouri |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 966-966 | Kentucky encontra Tennessee |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 973-973 | Louisiana encontra GulfOfMexico |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 972-972 | Louisiana encontra Texas |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 978-978 | Maine encontra Canada |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 977-977 | Maine encontra NewHampshire |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 979-979 | Maine encontra NorthAtlanticOcean |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 982-982 | Maryland encontra NorthAtlanticOcean |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 983-983 | Maryland encontra Virginia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 985-985 | Maryland encontra WashingtonDCUnitedStates |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 984-984 | Maryland encontra WestVirginia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 992-992 | Massachusetts encontra Connecticut |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 991-991 | Massachusetts encontra NewYorkState |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 990-990 | Massachusetts encontra NorthAtlanticOcean |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 993-993 | Massachusetts encontra RhodeIsland |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 148-148 | Mayotte encontra IndianOcean |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1294-1294 | Mexico encontra UnitedStates |
| 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