No TPTP formula. May not be expressible in strict first order.	Geography.kif 6887-6887	NuclearPollutionIssue e' uma instancia de EnvironmentalIssue
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6833-6833	OvergrazingIssue e' uma instancia de EnvironmentalIssue
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6902-6902	OverhuntingIssue e' uma instancia de EnvironmentalIssue
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6852-6852	OverpopulationIssue e' uma instancia de EnvironmentalIssue
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6855-6855	OzoneDepletionIssue e' uma instancia de EnvironmentalIssue
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6872-6872	PesticideIssue e' uma instancia de EnvironmentalIssue
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6886-6886	PollutedFishStocksIssue e' uma instancia de EnvironmentalIssue
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6880-6880	PopulationMigrationIssue e' uma instancia de EnvironmentalIssue
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6854-6854	SiltationIssue e' uma instancia de EnvironmentalIssue
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6856-6856	UVLevelsIssue e' uma instancia de EnvironmentalIssue
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6900-6900	UnexplodedOrdinanceIssue e' uma instancia de EnvironmentalIssue
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6868-6868	UrbanizationIssue e' uma instancia de EnvironmentalIssue
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6883-6883	WaterBorneDiseaseIssue e' uma instancia de EnvironmentalIssue
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6849-6849	WaterInfrastructureIssue e' uma instancia de EnvironmentalIssue
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6859-6859	WaterManagementIssue e' uma instancia de EnvironmentalIssue
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6891-6891	WetlandDegradationIssue e' uma instancia de EnvironmentalIssue
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6888-6888	WildlifePoachingIssue e' uma instancia de EnvironmentalIssue
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6853-6853	BiodiversityIssue e' uma sub-classe de EnvironmentalIssue
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6882-6882	DiseaseConditionsIssue e' uma sub-classe de EnvironmentalIssue
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6830-6830	EnvironmentalWaterIssue e' uma sub-classe de EnvironmentalIssue
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6842-6842	PollutionIssue e' uma sub-classe de EnvironmentalIssue
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6826-6826	SoilQualityIssue e' uma sub-classe de EnvironmentalIssue
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22252-22252
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22251-22251
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22250-22250
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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