PerCapitaFn - Sigma Knowledge base Browser

appearance as argument number 1

(documentation PerCapitaFn EnglishLanguage "(PerCapitaFn ?AREA ?QUANTITY) denotes the average amount of ?QUANTITY possessed by a resident of GeopoliticalArea ?AREA.")	Mid-level-ontology.kif 7797-7799
(domain PerCapitaFn 1 Quantity)	Mid-level-ontology.kif 7794-7794	The number 1 argument of PerCapitaFn is an instance of quantity
(domain PerCapitaFn 2 GeopoliticalArea)	Mid-level-ontology.kif 7795-7795	The number 2 argument of PerCapitaFn is an instance of geopolitical area
(instance PerCapitaFn BinaryFunction)	Mid-level-ontology.kif 7793-7793	PerCapitaFn is an instance of binary function
(range PerCapitaFn Quantity)	Mid-level-ontology.kif 7796-7796	The range of PerCapitaFn is an instance of quantity

appearance as argument number 2

(format EnglishLanguage PerCapitaFn "the per capita 1 of %2")

domainEnglishFormat.kif 1034-1034

antecedent

(=>
    (equal
        (PerCapitaFn
            (MeasureFn ?QUANTITY1 ?U) ?AREA)
        (MeasureFn ?QUANTITY2 ?U))
    (exists (?POPULATION)
        (and
            (equal ?POPULATION
                (CardinalityFn
                    (ResidentFn ?AREA)))
            (equal ?QUANTITY2
                (DivisionFn ?QUANTITY1 ?POPULATION)))))

Mid-level-ontology.kif 7801-7814

If the per capita 1 of a real number an unit of measure(s) is equal to the real number the unit of measure(s),
then there exists an integer such that the integer is equal to the number of instances in the resident of a geopolitical area and the real number is equal to another real number and the integer

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: