TreeView Knowledge Base Browser

appearance as argument number 1

(instance PerCapitaFn BinaryFunction)	Mid-level-ontology.kif 9375-9375	Per capita fn is an instance of binary function
(domain PerCapitaFn 1 Quantity)	Mid-level-ontology.kif 9376-9376	The number 1 argument of per capita fn is an instance of quantity
(domain PerCapitaFn 2 GeopoliticalArea)	Mid-level-ontology.kif 9377-9377	The number 2 argument of per capita fn is an instance of geopolitical area
(range PerCapitaFn Quantity)	Mid-level-ontology.kif 9378-9378	The range of per capita fn is an instance of quantity
(documentation PerCapitaFn EnglishLanguage "(PerCapitaFn ?AREA ?QUANTITY) denotes the average amount of ?QUANTITY possessed by a resident of GeopoliticalArea ?AREA.")	Mid-level-ontology.kif 9379-9381	The range of per capita fn is an instance of quantity

appearance as argument number 2

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

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 9383-9396

If equal the per capita 1 of %2 and X Y(s), then there exists Z such that equal Z, the number of instances in the resident of W, equal X, V, and Z

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

KB Term:			Term intersection

English Word: