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 8058-8060
(domain PerCapitaFn 1 Quantity)	Mid-level-ontology.kif 8055-8055	PerCapitaFn 的 1 数量是数量的 instance
(domain PerCapitaFn 2 GeopoliticalArea)	Mid-level-ontology.kif 8056-8056	PerCapitaFn 的 2 数量是地缘政治区域的 instance
(instance PerCapitaFn BinaryFunction)	Mid-level-ontology.kif 8054-8054	PerCapitaFn 是二元函数的 instance
(range PerCapitaFn Quantity)	Mid-level-ontology.kif 8057-8057	PerCapitaFn 的 range 是数量的实例

appearance as argument number 2

(format ChineseLanguage PerCapitaFn "%2 的 per capita 1")	domainEnglishFormat.kif 4098-4098
(format ChineseTraditionalLanguage PerCapitaFn "%2 的 per capita 1")	domainEnglishFormat.kif 4097-4097
(format EnglishLanguage PerCapitaFn "the per capita 1 of %2")	domainEnglishFormat.kif 4096-4096
(termFormat EnglishLanguage PerCapitaFn "per capita fn")	domainEnglishFormat.kif 65303-65303

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 8062-8075

如果实数测量单位的 per capita 1 equal 那个实数那个测量单位，
然后有存在整数这样那个整数 equal 地缘政治区域的 resident instance 的数量和那个实数 equal 另一个实数和那个整数

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

KB Term:			Term intersection

English Word: