AmericanState(american state) | American_state |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 22-23 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6976-6976 | American state is equal to all the instances of state or province in united states |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1466-1466 | |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 21-21 | American state is a subclass of state or province |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 865-865 | Alabama is an instance of american state |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 869-869 | Alaska is an instance of american state |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 883-883 | Arizona is an instance of american state |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 889-889 | Arkansas is an instance of american state |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 895-895 | California is an instance of american state |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 908-908 | Colorado is an instance of american state |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 914-914 | Connecticut is an instance of american state |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 918-918 | Delaware is an instance of american state |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 924-924 | Florida is an instance of american state |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 930-930 | Georgia is an instance of american state |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 935-935 | Hawaii is an instance of american state |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 939-939 | Idaho is an instance of american state |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 947-947 | Illinois is an instance of american state |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 952-952 | Indiana is an instance of american state |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 955-955 | Iowa is an instance of american state |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 960-960 | Kansas is an instance of american state |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 965-965 | Kentucky is an instance of american state |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 971-971 | Louisiana is an instance of american state |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 976-976 | Maine is an instance of american state |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 981-981 | Maryland is an instance of american state |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 988-988 | Massachusetts is an instance of american state |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 996-996 | Michigan is an instance of american state |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1002-1002 | Minnesota is an instance of american state |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1008-1008 | Mississippi is an instance of american state |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1014-1014 | Missouri is an instance of american state |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 897-901 |
|
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 871-878 |
|
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 25-27 |
|