TreeView Knowledge Base Browser - OrganismPopulationFn

appearance as argument number 1

(instance OrganismPopulationFn BinaryFunction)	Mid-level-ontology.kif 34158-34158	Population of organisms is an instance of binary function
(domain OrganismPopulationFn 1 Organism)	Mid-level-ontology.kif 34159-34159	The number 1 argument of population of organisms is an instance of organism
(domain OrganismPopulationFn 2 GeographicArea)	Mid-level-ontology.kif 34160-34160	The number 2 argument of population of organisms is an instance of geographic area
(range OrganismPopulationFn Integer)	Mid-level-ontology.kif 34161-34161	The range of population of organisms is an instance of integer
(documentation OrganismPopulationFn EnglishLanguage "The number of organisms in a given area, as an estimate or approximation.")	Mid-level-ontology.kif 34162-34163	The range of population of organisms is an instance of integer

appearance as argument number 2

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

statement

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

equal individuals of type X in Y. and the number of instances in the class described by Z