|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6887-6887 | Nuclear pollution issue is an instance of environmental issue |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6833-6833 | Overgrazing issue is an instance of environmental issue |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6902-6902 | Overhunting issue is an instance of environmental issue |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6852-6852 | Overpopulation issue is an instance of environmental issue |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6855-6855 | Ozone depletion issue is an instance of environmental issue |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6872-6872 | Pesticide issue is an instance of environmental issue |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6886-6886 | Polluted fish stocks issue is an instance of environmental issue |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6880-6880 | Population migration issue is an instance of environmental issue |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6854-6854 | Siltation issue is an instance of environmental issue |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6856-6856 | UV levels issue is an instance of environmental issue |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6900-6900 | Unexploded ordinance issue is an instance of environmental issue |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6868-6868 | Urbanization issue is an instance of environmental issue |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6883-6883 | Water borne disease issue is an instance of environmental issue |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6849-6849 | Water infrastructure issue is an instance of environmental issue |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6859-6859 | Water management issue is an instance of environmental issue |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6891-6891 | Wetland degradation issue is an instance of environmental issue |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6888-6888 | Wildlife poaching issue is an instance of environmental issue |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6853-6853 | Biodiversity issue is a subclass of environmental issue |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6882-6882 | Disease conditions issue is a subclass of environmental issue |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6830-6830 | Environmental water issue is a subclass of environmental issue |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6842-6842 | Pollution issue is a subclass of environmental issue |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6826-6826 | Soil quality issue is a subclass of environmental issue |
| 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