No TPTP formula. May not be expressible in strict first order.	Geography.kif 6887-6887	NuclearPollutionIssue est une instance de EnvironmentalIssue
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6833-6833	OvergrazingIssue est une instance de EnvironmentalIssue
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6902-6902	OverhuntingIssue est une instance de EnvironmentalIssue
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6852-6852	OverpopulationIssue est une instance de EnvironmentalIssue
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6855-6855	OzoneDepletionIssue est une instance de EnvironmentalIssue
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6872-6872	PesticideIssue est une instance de EnvironmentalIssue
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6886-6886	PollutedFishStocksIssue est une instance de EnvironmentalIssue
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6880-6880	PopulationMigrationIssue est une instance de EnvironmentalIssue
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6854-6854	SiltationIssue est une instance de EnvironmentalIssue
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6856-6856	UVLevelsIssue est une instance de EnvironmentalIssue
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6900-6900	UnexplodedOrdinanceIssue est une instance de EnvironmentalIssue
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6868-6868	UrbanizationIssue est une instance de EnvironmentalIssue
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6883-6883	WaterBorneDiseaseIssue est une instance de EnvironmentalIssue
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6849-6849	WaterInfrastructureIssue est une instance de EnvironmentalIssue
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6859-6859	WaterManagementIssue est une instance de EnvironmentalIssue
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6891-6891	WetlandDegradationIssue est une instance de EnvironmentalIssue
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6888-6888	WildlifePoachingIssue est une instance de EnvironmentalIssue
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6853-6853	BiodiversityIssue est une sous-classe de EnvironmentalIssue
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6882-6882	DiseaseConditionsIssue est une sous-classe de EnvironmentalIssue
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6830-6830	EnvironmentalWaterIssue est une sous-classe de EnvironmentalIssue
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6842-6842	PollutionIssue est une sous-classe de EnvironmentalIssue
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6826-6826	SoilQualityIssue est une sous-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