TreeView 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 7727-7729
(domain PerCapitaFn 1 Quantity)	Mid-level-ontology.kif 7724-7724	The number 1 argument of PerCapitaFn is an instance of quantity
(domain PerCapitaFn 2 GeopoliticalArea)	Mid-level-ontology.kif 7725-7725	The number 2 argument of PerCapitaFn is an instance of geopolitical area
(instance PerCapitaFn BinaryFunction)	Mid-level-ontology.kif 7723-7723	PerCapitaFn is an instance of binary function
(range PerCapitaFn Quantity)	Mid-level-ontology.kif 7726-7726	The range of PerCapitaFn is an instance of quantity

appearance as argument number 2

(format ChineseLanguage PerCapitaFn "%2 的 per capita 1")	domainEnglishFormat.kif 4103-4103
(format ChineseTraditionalLanguage PerCapitaFn "%2 的 per capita 1")	domainEnglishFormat.kif 4102-4102
(format EnglishLanguage PerCapitaFn "the per capita 1 of %2")	domainEnglishFormat.kif 4101-4101

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 7731-7744

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 simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: