OrganismPopulationFn - Sigma Knowledge base Browser

appearance as argument number 1

(documentation OrganismPopulationFn EnglishLanguage "The number of organisms in a given area, as an estimate or approximation.")	Mid-level-ontology.kif 31725-31726
(domain OrganismPopulationFn 1 Organism)	Mid-level-ontology.kif 31723-31723	The number 1 argument of population of organisms is an instance of organism
(domain OrganismPopulationFn 2 GeographicArea)	Mid-level-ontology.kif 31724-31724	The number 2 argument of population of organisms is an instance of geographic area
(instance OrganismPopulationFn BinaryFunction)	Mid-level-ontology.kif 31722-31722	Population of organisms is an instance of binary function

appearance as argument number 2

(format EnglishLanguage OrganismPopulationFn "individuals of type %1 in %2.")	Mid-level-ontology.kif 31727-31727
(termFormat EnglishLanguage OrganismPopulationFn "population of organisms")	Mid-level-ontology.kif 31728-31728

statement

(equal
    (OrganismPopulationFn ?O ?AREA)
    (CardinalityFn
        (KappaFn ?OI
            (and
                (instance ?OI ?O)
                (located ?OI ?AREA)))))

Mid-level-ontology.kif 31730-31735

Individuals of type an organism in a geographic area. is equal to the number of instances in the class described by the organismI