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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PerCapitaFn

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 8058-8060
(domain PerCapitaFn 1 Quantity) Mid-level-ontology.kif 8055-8055 The number 1 argument of per capita fn is an instance of quantity
(domain PerCapitaFn 2 GeopoliticalArea) Mid-level-ontology.kif 8056-8056 The number 2 argument of per capita fn is an instance of geopolitical area
(instance PerCapitaFn BinaryFunction) Mid-level-ontology.kif 8054-8054 Per capita fn is an instance of binary function
(range PerCapitaFn Quantity) Mid-level-ontology.kif 8057-8057 The range of per capita fn is an instance of quantity

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


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

Show without tree


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