AmericanCity(american city) more pictures... |
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 | American city is a subclass of city |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 710-710 | Atlanta georgia is an instance of american city |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 713-713 | Baltimore maryland is an instance of american city |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 723-723 | Boston, Massachusetts is an instance of american city |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1610-1610 | Chicago united states is an instance of american city |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 853-853 | Cleveland ohio is an instance of american city |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 857-857 | Columbus ohio is an instance of american city |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 850-850 | Dallas texas is an instance of american city |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 837-837 | Denver colorado is an instance of american city |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 840-840 | Detroit michigan is an instance of american city |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 834-834 | Fargo north dakota is an instance of american city |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 824-824 | Honolulu hawaii is an instance of american city |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 827-827 | Houston texas is an instance of american city |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 726-726 | Kansas city missouri is an instance of american city |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 809-809 | Los angeles california is an instance of american city |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 730-730 | Manchester new hampshire is an instance of american city |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 729-729 | Memphis tennessee is an instance of american city |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 736-736 | Minneapolis minnesota is an instance of american city |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 752-752 | Nashville tennessee is an instance of american city |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2128-2128 | New york city united states is an instance of american city |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 762-762 | Philadelphia pennsylvania is an instance of american city |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 765-765 | Pittsburgh pennsylvania is an instance of american city |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 770-770 | Providence rhode island is an instance of american city |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 774-774 | Richmond virginia is an instance of american city |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 782-782 | Saint louis missouri is an instance of american city |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 785-785 | Saint paul minnesota is an instance of american city |
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 |
|