(=>
(ethnicityPercentInRegion ?BG ?N ?R ?T)
(holdsDuring ?T
(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 1586-1598 |
If X percent of people in Y are Z as of W, then All of the following hold: (1) there exist V, U,, , T,, , S,, , R (2) Q such that T is located at Y (3) T is a member of Z (4) T is a member of V (5) R is a member count of V (6) S is located at Y (7) S is a member of U (8) Q is a member count of U (9) equal X (10) 100 (11) R (12) Q holds during W |
