Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| 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 1600-1601 | |
| (instance languagePercentInRegion TernaryPredicate) | People.kif 1602-1602 | language percent in region is an instance of ternary predicate |
| (domain languagePercentInRegion 1 Language) | People.kif 1603-1603 | The number 1 argument of language percent in region is an instance of language |
| (domain languagePercentInRegion 2 RealNumber) | People.kif 1604-1604 | The number 2 argument of language percent in region is an instance of real number |
| (domain languagePercentInRegion 3 GeographicArea) | People.kif 1605-1605 | The number 3 argument of language percent in region is an instance of geographic area |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage languagePercentInRegion "%2 percent of people in %3 speak %1") | domainEnglishFormat.kif 3722-3722 | |
| (format ChineseTraditionalLanguage languagePercentInRegion "百分之 %2 的人在 %3 speak %1 ") | domainEnglishFormat.kif 3723-3723 | |
| (format ChineseLanguage languagePercentInRegion "百分之 %2 的人在 %3 speak %1 ") | domainEnglishFormat.kif 3724-3724 | |
| (termFormat EnglishLanguage languagePercentInRegion "language percent in region") | domainEnglishFormat.kif 65879-65879 |
| antecedent |
|
|
| (=> (languagePercentInRegion ?L ?N ?R) (exists (?G1 ?G2 ?P ?P2 ?N1 ?N2) (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 1606-1617 | If X percent of people in Y speak Z, then All of the following hold: (1) there exist W, V,, , U,, , T,, , S (2) R such that U is located at Y (3) U is a member of W (4) Z is a speaks language of U (5) S is a member count of W (6) T is located at Y (7) T is a member of V (8) R is a member count of V (9) equal X (10) 100 (11) S (12) R |
|