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 31761-31762
(domain OrganismPopulationFn 1 Organism)	Mid-level-ontology.kif 31759-31759	The number 1 argument of population of organisms is an instance of organism
(domain OrganismPopulationFn 2 GeographicArea)	Mid-level-ontology.kif 31760-31760	The number 2 argument of population of organisms is an instance of geographic area
(instance OrganismPopulationFn BinaryFunction)	Mid-level-ontology.kif 31758-31758	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 31763-31763
(termFormat EnglishLanguage OrganismPopulationFn "population of organisms")	Mid-level-ontology.kif 31764-31764

statement

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

Mid-level-ontology.kif 31766-31771

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