| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7156-7157 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7155-7155 | Environmental issue is a subclass of area of concern |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7160-7160 | Acid rain issue is an instance of environmental issue |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7159-7159 | Acidification issue is an instance of environmental issue |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7161-7161 | Aerosol particulate issue is an instance of environmental issue |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7208-7208 | Agricultural chemicals issue is an instance of environmental issue |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7230-7230 | Agricultural expansion issue is an instance of environmental issue |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7226-7226 | Asbestos disposal issue is an instance of environmental issue |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7194-7194 | Climate change issue is an instance of environmental issue |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7213-7213 | Coastal degradation is an instance of environmental issue |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7215-7215 | Coastal marine pollution issue is an instance of environmental issue |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7214-7214 | Coral reef decay issue is an instance of environmental issue |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7162-7162 | Deforestation issue is an instance of environmental issue |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7171-7171 | Desertification issue is an instance of environmental issue |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7236-7236 | Drift net fishing issue is an instance of environmental issue |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7233-7233 | Drought issue is an instance of environmental issue |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7238-7238 | Famine issue is an instance of environmental issue |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7207-7207 | Farming practices issue is an instance of environmental issue |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7204-7204 | Fish stock depletion issue is an instance of environmental issue |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7211-7211 | Forest degradation is an instance of environmental issue |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7227-7227 | Illegal wildlife trade issue is an instance of environmental issue |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7221-7221 | Inadequate sanitation issue is an instance of environmental issue |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7234-7234 | Indigenous peoples preservation issue is an instance of environmental issue |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7235-7235 | Invasive species issue is an instance of environmental issue |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7232-7232 | Landmines issue is an instance of environmental issue |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7229-7229 | Loss of habitat issue is an instance of environmental issue |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7231-7231 | Mining pollution issue is an instance of environmental issue |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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