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	Il numero 1 argomenti di PerCapitaFn è un istanza di Quantit�
(domain PerCapitaFn 2 GeopoliticalArea)	Mid-level-ontology.kif 8056-8056	Il numero 2 argomenti di PerCapitaFn è un istanza di AreaGeopolitica
(instance PerCapitaFn BinaryFunction)	Mid-level-ontology.kif 8054-8054	PerCapitaFn è un' istanza di FunzioneBinaria
(range PerCapitaFn Quantity)	Mid-level-ontology.kif 8057-8057	rango di PerCapitaFn è un'istanza di Quantit�

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

PerCapitaFn NumeroReale Unit�DiMisura(s and AreaGeopolitica is uguale a NumeroReale Unit�DiMisura(s
NumeroIntero NumeroIntero is uguale a il numero di istanzia in ResidentFn AreaGeopolitica NumeroReale is uguale a NumeroReale + NumeroIntero

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

KB Term:			Term intersection

English Word: