Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PerCapitaFn
PerCapitaFn

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
(domain PerCapitaFn 2 GeopoliticalArea) Mid-level-ontology.kif 7725-7725
(instance PerCapitaFn BinaryFunction) Mid-level-ontology.kif 7723-7723
(range PerCapitaFn Quantity) Mid-level-ontology.kif 7726-7726

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


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 3.0 is open source software produced by Articulate Software and its partners