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 | O argumento numero 1 de beliefGroupPercentInRegion e' uma instancia de BeliefGroup |
(domain beliefGroupPercentInRegion 2 RealNumber) | People.kif 1526-1526 | O argumento numero 2 de beliefGroupPercentInRegion e' uma instancia de Numero Real |
(domain beliefGroupPercentInRegion 3 GeographicArea) | People.kif 1527-1527 | O argumento numero 3 de beliefGroupPercentInRegion e' uma instancia de Area Geografica |
(instance beliefGroupPercentInRegion TernaryPredicate) | People.kif 1524-1524 | beliefGroupPercentInRegion e' uma instancia de Predicado Ternario |
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, Numero Real and Area Geografica Colecao Colecao, Fisico, Fisico2, Numero Real1 and Numero Real2 Fisico e' situado em Area Geografica Fisico e' membro de BeliefGroup Fisico e' membro de Colecao memberCount Colecao and Numero Real1 Fisico2 e' situado em Area Geografica Fisico2 e' membro de Colecao memberCount Colecao and Numero Real2 Numero Real + 100 e' igual a Numero Real1 + Numero Real2 |