| appearance as argument number 1 |
|
| (documentation ethnicityPercentInRegion EnglishLanguage "The percentage of the population of a given GeographicArea that belongs to a particular EthnicGroup.") | People.kif 1541-1542 | |
| (domain ethnicityPercentInRegion 1 EthnicGroup) | People.kif 1544-1544 | Die Zahl 1 Argument von ethnicityPercentInRegion ist ein fall von EthnicGroup %n{nicht} |
| (domain ethnicityPercentInRegion 2 RealNumber) | People.kif 1545-1545 | Die Zahl 2 Argument von ethnicityPercentInRegion ist ein fall von RealNumber %n{nicht} |
| (domain ethnicityPercentInRegion 3 GeographicArea) | People.kif 1546-1546 | Die Zahl 3 Argument von ethnicityPercentInRegion ist ein fall von GeographicArea %n{nicht} |
| (instance ethnicityPercentInRegion TernaryPredicate) | People.kif 1543-1543 | ethnicityPercentInRegion ist ein fall von TernaryPredicate %n{nicht} |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage ethnicityPercentInRegion "%2 percent 的人在 %3 是 %1 ") | domainEnglishFormat.kif 3318-3318 | |
| (format ChineseTraditionalLanguage ethnicityPercentInRegion "%2 percent 的人在 %3 是 %1 ") | domainEnglishFormat.kif 3317-3317 | |
| (format EnglishLanguage ethnicityPercentInRegion "%2 percent of people in %3 are %1") | domainEnglishFormat.kif 3316-3316 | |
| (termFormat EnglishLanguage ethnicityPercentInRegion "ethnicity percent in region") | domainEnglishFormat.kif 65823-65823 |
| antecedent |
|
|
| (<=> (ethnicityPercentInRegion ?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 1547-1558 | ethnicityPercentInRegion EthnicGroup, 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 ** EthnicGroup %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