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