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 encontra UnitedStates
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1294-1294 Mexico encontra 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 se chama nome "United States"
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 740-740 MississippiRiver e' uma &parte de UnitedStates
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 30-30 NewEngland e' uma &parte de UnitedStates
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1160-1160 PuertoRico e' uma &parte de UnitedStates
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4243-4243 RedRiver e' uma &parte 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


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners