No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1019-1019	Montana is an instance of american state
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1024-1024	Nebraska is an instance of american state
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1029-1029	Nevada is an instance of american state
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1033-1033	New hampshire is an instance of american state
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1041-1041	New jersey united states is an instance of american state
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1046-1046	New mexico is an instance of american state
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1053-1053	New york state is an instance of american state
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1062-1062	North carolina is an instance of american state
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1067-1067	North dakota is an instance of american state
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1072-1072	Ohio is an instance of american state
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1079-1079	Oklahoma is an instance of american state
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1081-1081	Oregon is an instance of american state
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1085-1085	Pennsylvania is an instance of american state
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1091-1091	Rhode island is an instance of american state
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1095-1095	South Carolina is an instance of american state
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1099-1099	South Dakota is an instance of american state
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1104-1104	Tennessee is an instance of american state
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1110-1110	Texas is an instance of american state
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1118-1118	Utah is an instance of american state
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1123-1123	Vermont is an instance of american state
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1130-1130	Virginia is an instance of american state
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1139-1139	Washington is an instance of american state
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1144-1144	West virginia is an instance of american state
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1148-1148	Wisconsin is an instance of american state
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1153-1153	Wyoming is an instance of american state
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