ConservationStatus
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30352-30355 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30350-30350 | ConservationStatus est une sous-classe de attribut relationnel |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30380-30380 | ConservationDependentSpecies est une instance de ConservationStatus |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30364-30364 | CriticallyEndangeredSpecies est une instance de ConservationStatus |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30367-30367 | EndangeredSpecies est une instance de ConservationStatus |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30360-30360 | ExtinctInTheWildSpecies est une instance de ConservationStatus |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30357-30357 | ExtinctSpecies est une instance de ConservationStatus |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30384-30384 | LeastConcernSpecies est une instance de ConservationStatus |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30377-30377 | NearThreatenedSpecies est une instance de ConservationStatus |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30374-30374 | VulnerableSpecies est une instance de ConservationStatus |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 64696-64696 |