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 31729-31730
(domain OrganismPopulationFn 1 Organism)	Mid-level-ontology.kif 31727-31727	The number 1 argument of population of organisms is an instance of organism
(domain OrganismPopulationFn 2 GeographicArea)	Mid-level-ontology.kif 31728-31728	The number 2 argument of population of organisms is an instance of geographic area
(instance OrganismPopulationFn BinaryFunction)	Mid-level-ontology.kif 31726-31726	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 31731-31731
(termFormat EnglishLanguage OrganismPopulationFn "population of organisms")	Mid-level-ontology.kif 31732-31732

statement

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

Mid-level-ontology.kif 31734-31739

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