UnitedStates |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3669-3669 | geographicSubregion WashingtonDCUnitedStates and UnitedStates |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20273-20273 | habitatOfOrganism Alligator and UnitedStates |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4503-4503 | headquartersOfOrganization GeneralMotorsCorp and UnitedStates |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4584-4584 | headquartersOfOrganization HarleyDavidsonCorp and UnitedStates |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 410-410 | Canada rencontre UnitedStates |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1294-1294 | Mexico rencontre UnitedStates |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 952-952 | militaryOfArea USMilitary and UnitedStates |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4079-4079 | UnitedStates s'appele nom "United States" |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 740-740 | MississippiRiver est une partie de UnitedStates |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 30-30 | NewEngland est une partie de UnitedStates |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1160-1160 | PuertoRico est une partie de UnitedStates |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4243-4243 | RedRiver est une partie de UnitedStates |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60332-60332 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60331-60331 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60330-60330 |