(<=>
(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 |
A real number percent of people in a geographic area are an ethnic group if and only if there exist a collection, another collection,, , a physical,, , the physical,, , the real number and the real number such that the physical is located at the geographic area and the physical is a member of the ethnic group and the physical is a member of the collection and the real number is a member count of the collection and the physical is located at the geographic area and the physical is a member of the other collection and the real number is a member count of the other collection and the real number and 100 is equal to the real number and the real number |