liquidity
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6819-6820 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6818-6818 | EnvironmentalIssue est une sous-classe de AreaOfConcern |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6823-6823 | AcidRainIssue est une instance de EnvironmentalIssue |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6822-6822 | AcidificationIssue est une instance de EnvironmentalIssue |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6824-6824 | AerosolParticulateIssue est une instance de EnvironmentalIssue |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6871-6871 | AgriculturalChemicalsIssue est une instance de EnvironmentalIssue |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6893-6893 | AgriculturalExpansionIssue est une instance de EnvironmentalIssue |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6889-6889 | AsbestosDisposalIssue est une instance de EnvironmentalIssue |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6857-6857 | ClimateChangeIssue est une instance de EnvironmentalIssue |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6876-6876 | CoastalDegradation est une instance de EnvironmentalIssue |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6878-6878 | CoastalMarinePollutionIssue est une instance de EnvironmentalIssue |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6877-6877 | CoralReefDecayIssue est une instance de EnvironmentalIssue |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6825-6825 | DeforestationIssue est une instance de EnvironmentalIssue |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6834-6834 | DesertificationIssue est une instance de EnvironmentalIssue |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6899-6899 | DriftNetFishingIssue est une instance de EnvironmentalIssue |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6896-6896 | DroughtIssue est une instance de EnvironmentalIssue |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6901-6901 | FamineIssue est une instance de EnvironmentalIssue |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6870-6870 | FarmingPracticesIssue est une instance de EnvironmentalIssue |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6867-6867 | FishStockDepletionIssue est une instance de EnvironmentalIssue |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6874-6874 | ForestDegradation est une instance de EnvironmentalIssue |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6890-6890 | IllegalWildlifeTradeIssue est une instance de EnvironmentalIssue |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6884-6884 | InadequateSanitationIssue est une instance de EnvironmentalIssue |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6897-6897 | IndigenousPeoplesPreservationIssue est une instance de EnvironmentalIssue |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6898-6898 | InvasiveSpeciesIssue est une instance de EnvironmentalIssue |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6895-6895 | LandminesIssue est une instance de EnvironmentalIssue |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6892-6892 | LossOfHabitatIssue est une instance de EnvironmentalIssue |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6894-6894 | MiningPollutionIssue est une instance de EnvironmentalIssue |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |