(=>
(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 |
