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 e' uma instancia de Nacao |
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 e' igual a GeographicPartTypeFn Estado ou Provincia and UnitedStates |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4792-4792 | DepartmentOfHomelandSecurity e' uma parte da organizacao o governo de UnitedStates |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1284-1284 | USFoodAndDrugAdministration e' uma parte da organizacao o governo de UnitedStates |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2355-2355 | USStateDepartment e' uma parte da organizacao o governo de UnitedStates |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1913-1913 | UnitedStatesCongress e' uma parte da organizacao o governo de UnitedStates |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4819-4819 | UnitedStatesDepartmentOfInterior e' uma parte da organizacao o governo de UnitedStates |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4814-4814 | UnitedStatesDepartmentOfState e' uma parte da organizacao o governo de UnitedStates |