|
|
   AmericanCity
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 36-37 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10388-10388 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10387-10387 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10389-10389 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10386-10386 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10385-10385 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 35-35 | AmericanCity est une sous-classe de ville |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 710-710 | AtlantaGeorgia est une instance de AmericanCity |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 713-713 | BaltimoreMaryland est une instance de AmericanCity |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 723-723 | BostonMassachusetts est une instance de AmericanCity |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1610-1610 | ChicagoUnitedStates est une instance de AmericanCity |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 853-853 | ClevelandOhio est une instance de AmericanCity |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 857-857 | ColumbusOhio est une instance de AmericanCity |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 850-850 | DallasTexas est une instance de AmericanCity |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 837-837 | DenverColorado est une instance de AmericanCity |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 840-840 | DetroitMichigan est une instance de AmericanCity |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 834-834 | FargoNorthDakota est une instance de AmericanCity |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 824-824 | HonoluluHawaii est une instance de AmericanCity |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 827-827 | HoustonTexas est une instance de AmericanCity |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 726-726 | KansasCityMissouri est une instance de AmericanCity |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 809-809 | LosAngelesCalifornia est une instance de AmericanCity |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 730-730 | ManchesterNewHampshire est une instance de AmericanCity |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 729-729 | MemphisTennessee est une instance de AmericanCity |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 736-736 | MinneapolisMinnesota est une instance de AmericanCity |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 752-752 | NashvilleTennessee est une instance de AmericanCity |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2128-2128 | NewYorkCityUnitedStates est une instance de AmericanCity |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 762-762 | PhiladelphiaPennsylvania est une instance de AmericanCity |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 765-765 | PittsburghPennsylvania est une instance de AmericanCity |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 770-770 | ProvidenceRhodeIsland est une instance de AmericanCity |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 774-774 | RichmondVirginia est une instance de AmericanCity |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 782-782 | SaintLouisMissouri est une instance de AmericanCity |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 785-785 | SaintPaulMinnesota est une instance de AmericanCity |
| 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 812-817 |
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2131-2135 |
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 39-41 |
|
|
|
|
