TreeView Knowledge Base Browser - beliefGroupPercentInRegion

appearance as argument number 1

(documentation beliefGroupPercentInRegion EnglishLanguage "The percentage of the population of a given GeographicArea that subscribes to a particular belief, typically a religion.")	People.kif 1521-1523
(domain beliefGroupPercentInRegion 1 BeliefGroup)	People.kif 1525-1525	beliefGroupPercentInRegion の数値 1 引数は BeliefGroup の instance では %n
(domain beliefGroupPercentInRegion 2 RealNumber)	People.kif 1526-1526	beliefGroupPercentInRegion の数値 2 引数は実数の instance では %n
(domain beliefGroupPercentInRegion 3 GeographicArea)	People.kif 1527-1527	beliefGroupPercentInRegion の数値 3 引数は地理的地域の instance では %n
(instance beliefGroupPercentInRegion TernaryPredicate)	People.kif 1524-1524	beliefGroupPercentInRegion は 3進述語の instance では %n

appearance as argument number 2

(format ChineseLanguage beliefGroupPercentInRegion "百分之 %2 在 %1 的人相信 %1 ")	domainEnglishFormat.kif 2890-2890
(format ChineseTraditionalLanguage beliefGroupPercentInRegion "百分之 %2 在 %1 的人相信 %1 ")	domainEnglishFormat.kif 2889-2889
(format EnglishLanguage beliefGroupPercentInRegion "%2 percent of people in %3 believe in %1")	domainEnglishFormat.kif 2888-2888
(termFormat EnglishLanguage beliefGroupPercentInRegion "belief group percent in region")	domainEnglishFormat.kif 65787-65787

antecedent

(<=>
    (beliefGroupPercentInRegion ?BG ?N ?R)
    (exists (?G1 ?G2 ?P ?P2 ?N1 ?N2)
        (and
            (located ?P ?R)
            (member ?P ?BG)
            (member ?P ?G1)
            (memberCount ?G1 ?N1)
            (located ?P2 ?R)
            (member ?P2 ?G2)
            (memberCount ?G2 ?N2)
            (equal
                (DivisionFn ?N 100)
                (DivisionFn ?N1 ?N2)))))

People.kif 1528-1539

beliefGroupPercentInRegion BeliefGroup, 実数 and 地理的地域コレクションコレクション, 物理, 物理2, 実数1 and 実数2 物理は地理的地域に located して %n 物理は BeliefGroup の member では %n 物理はコレクションの member では %n memberCount コレクション and 実数1 物理2 は地理的地域に located して %n 物理2 はコレクションの member では %n memberCount コレクション and 実数2 実数 + 100 は実数1 + 実数2 と equal では %n

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

KB Term:			Term intersection

English Word: