OrganismPopulationFn |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31725-31726 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31723-31723 | 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 31724-31724 | 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 31722-31722 | 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 31727-31727 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31728-31728 |
statement |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31730-31735 | OrganismPopulationFn organisme and secteur g�ographique est instances dans la classe d�crite par organismeI |