|
|
  UnitedStates
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 481-481 | chiefOfStateType UnitedStates and President |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1376-1376 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 562-562 | economyType UnitedStates and AdvancedEconomy |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 180-180 | economyType UnitedStates and DevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 814-814 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 405-405 | geographicSubregion UnitedStates and NorthAmerica |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 406-406 | UnitedStates est une instance de nation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1050-1050 | capitalCity WashingtonDCUnitedStates and UnitedStates |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3726-3726 | dependentGeopoliticalArea AmericanSamoa and UnitedStates |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3734-3734 | dependentGeopoliticalArea BakerIsland and UnitedStates |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3784-3784 | dependentGeopoliticalArea Guam and UnitedStates |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3791-3791 | dependentGeopoliticalArea HowlandIsland and UnitedStates |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3797-3797 | dependentGeopoliticalArea JarvisIsland and UnitedStates |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3801-3801 | dependentGeopoliticalArea JohnstonAtoll and UnitedStates |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3805-3805 | dependentGeopoliticalArea KingmanReef and UnitedStates |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3813-3813 | dependentGeopoliticalArea MidwayIslands and UnitedStates |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3817-3817 | dependentGeopoliticalArea NavassaIsland and UnitedStates |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3827-3827 | dependentGeopoliticalArea NorthernMarianaIslands and UnitedStates |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3829-3829 | dependentGeopoliticalArea PalmyraAtoll and UnitedStates |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3833-3833 | dependentGeopoliticalArea PuertoRico and UnitedStates |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3850-3850 | dependentGeopoliticalArea USVirginIslands and UnitedStates |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3853-3853 | dependentGeopoliticalArea WakeIsland and UnitedStates |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2719-2719 | geographicSubregion ChicagoUnitedStates and UnitedStates |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2843-2843 | geographicSubregion FloridaUnitedStates and UnitedStates |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3138-3138 | geographicSubregion LosAngelesCalifornia and UnitedStates |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3141-3141 | geographicSubregion LosAngelesInternationalAirportUnitedStates and UnitedStates |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1051-1051 | geographicSubregion NewJersey and UnitedStates |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1057-1057 | geographicSubregion NewYorkCityUnitedStates and UnitedStates |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1055-1055 | geographicSubregion NewYorkState and UnitedStates |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3458-3458 | geographicSubregion SacramentoUnitedStates and UnitedStates |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1116-1116 | geographicSubregion Texas and UnitedStates |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2773-2773 | codeMapping ISO-3166-1-alpha-2, "US" and UnitedStates |
| appearance as argument number 4 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4676-4676 | comparativeArea SouthernOcean, greaterThan, 2.0 and UnitedStates |
| consequent |
|
|
| statement |
|
|
| 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. | Government.kif 4828-4828 | DepartmentOfHomelandSecurity est une partie de l'organization le gouvernment de UnitedStates |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1283-1283 | USFoodAndDrugAdministration est une partie de l'organization le gouvernment de UnitedStates |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2391-2391 | USStateDepartment est une partie de l'organization le gouvernment de UnitedStates |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1949-1949 | UnitedStatesCongress est une partie de l'organization le gouvernment de UnitedStates |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4855-4855 | UnitedStatesDepartmentOfInterior est une partie de l'organization le gouvernment de UnitedStates |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4850-4850 | UnitedStatesDepartmentOfState est une partie de l'organization le gouvernment de UnitedStates |
|
|
|
