| 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 | Die Zahl 1 Argument von beliefGroupPercentInRegion ist ein fall von BeliefGroup %n{nicht} |
| (domain beliefGroupPercentInRegion 2 RealNumber) | People.kif 1526-1526 | Die Zahl 2 Argument von beliefGroupPercentInRegion ist ein fall von RealNumber %n{nicht} |
| (domain beliefGroupPercentInRegion 3 GeographicArea) | People.kif 1527-1527 | Die Zahl 3 Argument von beliefGroupPercentInRegion ist ein fall von GeographicArea %n{nicht} |
| (instance beliefGroupPercentInRegion TernaryPredicate) | People.kif 1524-1524 | beliefGroupPercentInRegion ist ein fall von TernaryPredicate %n{nicht} |
| 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, RealNumber and GeographicArea genau dann wenn es gibt Collection, ** Collection,, , Physical,, , ** Physical2,, , ** RealNumber1, and und ** RealNumber2 um ** Physical befindet sich an %n{nicht} und ** Physical ist ein Mitglied von ** BeliefGroup %n{nicht} und ** Physical ist ein Mitglied von ** Collection %n{nicht} und memberCount ** Collection and ** RealNumber1 und ** Physical2 befindet sich an %n{nicht} und ** Physical2 ist ein Mitglied von ** ** Collection %n{nicht} und memberCount ** ** Collection and ** RealNumber2 und ** RealNumber und 100 ist gleich ** RealNumber1 und ** RealNumber2 %n{nicht} |
|
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