|
|
   AmericanState
|
|
|
| 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 | AmericanState est GeographicPartTypeFn Etat ou province and UnitedStates |
| 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 | AmericanState est une sous-classe de Etat ou province |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 865-865 | Alabama est une instance de AmericanState |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 869-869 | Alaska est une instance de AmericanState |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 883-883 | Arizona est une instance de AmericanState |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 889-889 | Arkansas est une instance de AmericanState |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 895-895 | California est une instance de AmericanState |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 908-908 | Colorado est une instance de AmericanState |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 914-914 | Connecticut est une instance de AmericanState |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 918-918 | Delaware est une instance de AmericanState |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 924-924 | FloridaUnitedStates est une instance de AmericanState |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 930-930 | Georgia est une instance de AmericanState |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 935-935 | Hawaii est une instance de AmericanState |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 939-939 | Idaho est une instance de AmericanState |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 947-947 | Illinois est une instance de AmericanState |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 952-952 | Indiana est une instance de AmericanState |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 955-955 | Iowa est une instance de AmericanState |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 960-960 | Kansas est une instance de AmericanState |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 965-965 | Kentucky est une instance de AmericanState |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 971-971 | Louisiana est une instance de AmericanState |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 976-976 | Maine est une instance de AmericanState |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 981-981 | Maryland est une instance de AmericanState |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 988-988 | Massachusetts est une instance de AmericanState |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 996-996 | Michigan est une instance de AmericanState |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1002-1002 | Minnesota est une instance de AmericanState |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1008-1008 | Mississippi est une instance de AmericanState |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1014-1014 | Missouri est une instance de AmericanState |
| 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 |
|
|
|
|
