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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - languagePercentInRegion
languagePercentInRegion

appearance as argument number 1
-------------------------


(documentation languagePercentInRegion EnglishLanguage "The percentage of the population of a given GeographicArea that speaks the given Language.") People.kif 1570-1571
(domain languagePercentInRegion 1 Language) People.kif 1573-1573 languagePercentInRegion 的 1 数量 是 语言instance
(domain languagePercentInRegion 2 RealNumber) People.kif 1574-1574 languagePercentInRegion 的 2 数量 是 实数instance
(domain languagePercentInRegion 3 GeographicArea) People.kif 1575-1575 languagePercentInRegion 的 3 数量 是 地理区域instance
(instance languagePercentInRegion TernaryPredicate) People.kif 1572-1572 languagePercentInRegion三元谓语instance

appearance as argument number 2
-------------------------


(format ChineseLanguage languagePercentInRegion "百分之 %2 的人在 %3 speak %1 ") domainEnglishFormat.kif 3731-3731
(format ChineseTraditionalLanguage languagePercentInRegion "百分之 %2 的人在 %3 speak %1 ") domainEnglishFormat.kif 3730-3730
(format EnglishLanguage languagePercentInRegion "%2 percent of people in %3 speak %1") domainEnglishFormat.kif 3729-3729

antecedent
-------------------------


(<=>
    (languagePercentInRegion ?L ?N ?R)
    (exists (?G1 ?G2)
        (and
            (located ?P ?R)
            (member ?P ?G1)
            (speaksLanguage ?P ?L)
            (memberCount ?G1 ?N1)
            (located ?P2 ?R)
            (member ?P2 ?G2)
            (memberCount ?G2 ?N2)
            (equal
                (DivisionFn ?N 100)
                (DivisionFn ?N1 ?N2)))))
People.kif 1576-1587 百分之 实数 的人在 地理区域 speak 语言 若且唯若 有存在 群体另一个 群体 这样 有感知的主事located那个 地理区域那个 有感知的主事那个 群体member那个 语言那个 有感知的主事speaks 语言 和 那个 实数1 是 那个 群体member 计数 和 那个 有感知的主事2 是 located那个 地理区域那个 有感知的主事2 是 那个 另外 群体member那个 实数2 是 那个 另外 群体member 计数 和 那个 实数 和 100 equal 那个 实数1 和 那个 实数2


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