OrganismPopulationFn |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31729-31730 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31727-31727 | Le nombre 1 argument de OrganismPopulationFn est une instance de organisme |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31728-31728 | Le nombre 2 argument de OrganismPopulationFn est une instance de secteur g�ographique |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31726-31726 | OrganismPopulationFn est une instance de fonction binaire |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31731-31731 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31732-31732 |
statement |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31734-31739 | OrganismPopulationFn organisme and secteur g�ographique est instances dans la classe d�crite par organismeI |