|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1043-1043 | NewJersey encontra Delaware |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1042-1042 | NewJersey encontra NorthAtlanticOcean |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1044-1044 | NewJersey encontra Pennsylvania |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1047-1047 | NewMexico encontra Arizona |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1048-1048 | NewMexico encontra Mexico |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1058-1058 | NewYorkState encontra Canada |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1060-1060 | NewYorkState encontra NewJersey |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1061-1061 | NewYorkState encontra NorthAtlanticOcean |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1059-1059 | NewYorkState encontra Pennsylvania |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1063-1063 | NorthCarolina encontra NorthAtlanticOcean |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1064-1064 | NorthCarolina encontra SouthCarolina |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1065-1065 | NorthCarolina encontra Tennessee |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1070-1070 | NorthDakota encontra Canada |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1068-1068 | NorthDakota encontra Montana |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1069-1069 | NorthDakota encontra SouthDakota |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1076-1076 | Ohio encontra Canada |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1074-1074 | Ohio encontra Indiana |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1073-1073 | Ohio encontra Kentucky |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1075-1075 | Ohio encontra Michigan |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5163-5163 | Oman encontra GulfOfOman |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1083-1083 | Oregon encontra California |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1082-1082 | Oregon encontra PacificOcean |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1090-1090 | Pennsylvania encontra Canada |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1089-1089 | Pennsylvania encontra Ohio |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1088-1088 | Pennsylvania encontra WestVirginia |
| 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