|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 999-999 | Michigan encontra Canada |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 998-998 | Michigan encontra Illinois |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 997-997 | Michigan encontra Indiana |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1003-1003 | Minnesota encontra Canada |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1006-1006 | Minnesota encontra Iowa |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1004-1004 | Minnesota encontra NorthDakota |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1005-1005 | Minnesota encontra SouthDakota |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1009-1009 | Mississippi encontra Arkansas |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1011-1011 | Mississippi encontra GulfOfMexico |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1010-1010 | Mississippi encontra Louisiana |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1016-1016 | Missouri encontra Kansas |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1015-1015 | Missouri encontra Nebraska |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1017-1017 | Missouri encontra Oklahoma |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1020-1020 | Montana encontra Canada |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1021-1021 | Montana encontra Idaho |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1022-1022 | Montana encontra Wyoming |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1026-1026 | Nebraska encontra Colorado |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1027-1027 | Nebraska encontra Kansas |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1025-1025 | Nebraska encontra Wyoming |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1031-1031 | Nevada encontra California |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1030-1030 | Nevada encontra Oregon |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1035-1035 | NewHampshire encontra Canada |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1038-1038 | NewHampshire encontra Massachusetts |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1036-1036 | NewHampshire encontra NorthAtlanticOcean |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1037-1037 | NewHampshire encontra Vermont |
| 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