|
|
   RunningARace
|
|
|
| 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 e' uma sub-classe de Cidade |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 710-710 | AtlantaGeorgia e' uma instancia de AmericanCity |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 713-713 | BaltimoreMaryland e' uma instancia de AmericanCity |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 723-723 | BostonMassachusetts e' uma instancia de AmericanCity |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1610-1610 | ChicagoUnitedStates e' uma instancia de AmericanCity |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 853-853 | ClevelandOhio e' uma instancia de AmericanCity |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 857-857 | ColumbusOhio e' uma instancia de AmericanCity |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 850-850 | DallasTexas e' uma instancia de AmericanCity |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 837-837 | DenverColorado e' uma instancia de AmericanCity |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 840-840 | DetroitMichigan e' uma instancia de AmericanCity |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 834-834 | FargoNorthDakota e' uma instancia de AmericanCity |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 824-824 | HonoluluHawaii e' uma instancia de AmericanCity |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 827-827 | HoustonTexas e' uma instancia de AmericanCity |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 726-726 | KansasCityMissouri e' uma instancia de AmericanCity |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 809-809 | LosAngelesCalifornia e' uma instancia de AmericanCity |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 730-730 | ManchesterNewHampshire e' uma instancia de AmericanCity |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 729-729 | MemphisTennessee e' uma instancia de AmericanCity |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 736-736 | MinneapolisMinnesota e' uma instancia de AmericanCity |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 752-752 | NashvilleTennessee e' uma instancia de AmericanCity |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2128-2128 | NewYorkCityUnitedStates e' uma instancia de AmericanCity |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 762-762 | PhiladelphiaPennsylvania e' uma instancia de AmericanCity |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 765-765 | PittsburghPennsylvania e' uma instancia de AmericanCity |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 770-770 | ProvidenceRhodeIsland e' uma instancia de AmericanCity |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 774-774 | RichmondVirginia e' uma instancia de AmericanCity |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 782-782 | SaintLouisMissouri e' uma instancia de AmericanCity |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 785-785 | SaintPaulMinnesota e' uma instancia 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 |
|
|
|
|
