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